A verification framework for hybrid systems

55 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Differentially Private Distributed Optimization (2014, background): “The probability measure over the space of executions PP is defined in the standard way by first defining a σ-algebra of cones over the space of executions, and then by defining the probability of the cones by integrating over μ (see for example [10, 14]).”
Cyber–Physical Systems: A Perspective at the Centennial (2012, background): “automaton (HA) which can be used to model complex dynamics of CPSs through various mathematical formalisms [93], [94], [95], [96], [97], [98] that can capture both the transition between discrete states and also the evolution of continuous states over time.”