Discrete abstractions of hybrid systems

By Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George Pappas. Proceedings of the IEEE, 2000

903 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/59e89fa5f1f6c7883913ec52224abaa449082360

How researchers see this paper

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

In Artificial Intelligence

In Computational Theory and Mathematics

Citations in the corpus

Local and Piecewise Affine Approaches to System Identification (2003, background): “Solving a verification problem exactly is in general possible only for some restricted classes of hybrid systems [2, 4].”
Impulse differential inclusions: a viability approach to hybrid systems (2002, methodology): “Theoretical methods have been developed for performing these computations [5], [6], [17], [7], [8], [18], [9], some of them supported by automated or semi-automated tools [20], [22], [23], [26], [24], [25], [29], [21].”
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (2007, neutral): “See, for instance, [3], [6], [14], and [48].”
Approximation Metrics for Discrete and Continuous Systems (2006, methodology): “systems to purely discrete problems [4].”
Dynamical properties of hybrid automata (2003, background): “The hybrid automata considered here are a special case of the hybrid automata of [27] and the impulse differential inclusions of [28], both of which allow differential”
Integrated Task and Motion Planning (2020, background): “The control theory community analyzes reachability for a similar class of hybrid systems, except that they typically address problems with a ﬁnite set of modes but more complex continuous-time dynamics (38, 39, 40).”
Cyber–Physical Systems: A Perspective at the Centennial (2012, background): “some verification/synthesis problems are decidable, and in [129], [130], [131], [132] for abstractions of hybrid systems.”
Receding Horizon Temporal Logic Planning (2012, background): “and , respectively, of equivalence classes or cells such that the partition is proposition preserving [17].”
Bifurcations of piecewise smooth flows: Perspectives, methodologies and open problems (2012, background): “differential equations and maps), see for example [17, 4, 84, 78, 26, 52].”
Research Directions in Requirements Engineering (2007, background): “Researchers in the verification community are making progress on the modeling, simulation, and reasoning of hybrid models [4], but their work does not accommodate human-behavior models, and the scalability of techniques remains an elusive goal.”
Temporal logic motion planning for dynamic robots (2009, methodology): “By interconnecting Σ� with the hybrid controller H � φ� we actually construct a hybrid automaton [ 40 ].”
On reachability and minimum cost optimal control (2004, background): “For example, for certain classes of continuous dynamics, exact computation of the set of reachable states is possible (see [10] for an overview).”
Temporal-Logic-Based Reactive Mission and Motion Planning (2009, methodology): “Following the work in [5], we utilize atomic controllers that satisfy the so-called bisimulation property [31], [32], [34].”