Dynamical properties of hybrid automata

By John Lygeros, Karl Henrik Johansson, S. Simic, Jun Zhang, S. Sastry. IEEE Transactions on Automatic Control, 2003

870 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering

View Paper: https://www.semanticscholar.org/paper/6b46c2b5af31889512589ec1493d4a0feece2348

How researchers see this paper

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

In Computational Theory and Mathematics

In Control and Systems Engineering

Citations in the corpus

Distributed Event-Triggered Control for Multi-Agent Systems (2012, background): “Digital Object Identiﬁer 10.1109/TAC.2011.2174666 0018-9286/$26.00 © 2011 IEEE control have appeared in the recent literature [6], [7] involving agreement or consensus algorithms [12], [20], [23], formation control [2], [4], [5], [8] and distributed estimation [21], [25].”
Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control (2010, methodology): “Wewill use the extension of LaSalle’s Invariance Principle for hybrid systems (Lygeros et al., 2003) to check the stability of the overall system.”
Unicycle Coverage Control Via Hybrid Modeling (2010, methodology): “The work [10] provides an extension of LaSalle’s invariance principle to hybrid systems, while [11] makes use of set-valued Lyapunov theory to analyze the stability of multi-agent systems.”
Hybrid modeling and limit cycle analysis for a class of five-phase anti-lock brake algorithms (2006, background): “[6] and to Van der Schaft and Schumacher [7].”
Bifurcations of piecewise smooth flows: Perspectives, methodologies and open problems (2012, background): “differential equations and maps); see for example [2–7].”
Temporal logic motion planning for dynamic robots (2009, background): “In other words, we should not consider Zeno trajectories [26].”
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications (2006, methodology): “They are essentially equivalent to \hybrid time trajectories" of [24], [5], and [ 25 ], but give a more prominent role to the \discrete" variable j.”
Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability (2007, background): “Regarding invariance principles for hybrid systems, in [6] Lygeros et al. extend LaSalle's principle to nonblocking (for each initial condition there exists at least one complete solution), deterministic (the solution is unique), and continuous (see [6, Definition III.3]) hybrid systems, while…”
HYBRID LIMIT CYCLES AND HYBRID POINCARÉ-BENDIXSON (2002, positive): “We distinguish several types of executions (see (Simi´c et al., 2000a) or (Lygeros et al., 2000) for details).”
Hybrid systems: Generalized solutions and robust stability (2004, background): “Some work in this direction can be found in (Hiskens and Pai, 2000), (Simi´c et al., 2001), (Prieur, 2003), (Prieur and Astolfi, 2003), (Lygeros et al., 2003).”
Event-Separation Properties of Event-Triggered Control Systems (2014, background): “If a system has the local event-separation property, then no Zeno behavior (see [24]) occurs in the impulsive system (23) when ω=0.”
On the Observability of Nonlinear and Switched Systems (2009, background): “For switched systems, the concept of observability and methods of observer design are strongly related to the dwell time and the sequence of switching, thus it is important to recall (in our context) the following definition of hybrid time trajectory [ 18 ] (see also [13]).”
Challenges for Securing Cyber Physical Systems (2009, background): “While all these efforts are important, we believe that we need to find other incentives (e.g., new policies, education and outreach efforts, or economic programs) to complement these self-regulated standards.”