Zeno hybrid systems

DOI10.1002/rnc.592zbMath0977.93047OpenAlexW2120666720WikidataQ56068646 ScholiaQ56068646MaRDI QIDQ2716782

John Lygeros, Karl Henrik Johansson, Jun Zhang, Shankar S. Sastry

Publication date: 3 January 2002

Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-20545

zbMATH Keywords

verificationmodellingsimulationhybrid systemsZeno systems\(\omega\) limit setZeno executionsZeno set

Mathematics Subject Classification ID

Variable structure systems (93B12) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Non-smooth dynamics of articulated pipe conveying fluid subjected to a one-sided rigid stop, Scalable distributed algorithms for multi-robot near-optimal motion planning, Aperiodically intermittent synchronization for switching complex networks dependent on topology structure, Simulation of hybrid systems under Zeno behavior using numerical infinitesimals, Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes, Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems, Simulation and stability analysis of impacting systems with complete chattering, Non-zenoness of a class of differential quasi-variational inequalities, Event-based agreement protocols for complex networks with time delays under pinning control, Reasoning about knowledge and messages in asynchronous multi-agent systems, Non-Zenoness of piecewise affine dynamical systems and affine complementarity systems with inputs, Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems, Stabilizability of nonlinear infinite dimensional switched systems by measures of noncompactness in the space \(c_0\), Lyapunov stability of a rigid body with two frictional contacts, Fully distributed event-triggered output synchronization of heterogeneous multi-agent systems over directed switching networks, Verifying Switched System Stability With Logic, Sampled‐data‐based event‐triggered adaptive prescribed performance control of uncertain strict‐feedback nonlinear systems, Unnamed Item, Investigation of Painlevé's paradox and dynamic jamming during mechanism sliding motion, Discontinuous solutions in the optimal control problems and their representation by singular space-time transformations, Switching control laws in the presence of measurement noise, Understanding deadlock and livelock behaviors in hybrid control systems, Suboptimal event-triggered consensus of multiagent systems, On the existence, uniqueness and nature of Carathéodory and Filippov solutions for bimodal piecewise affine dynamical systems, Practical stability of nonlinear measure differential equations, Zeno points in optimal control models with endogenous regime switching, Pointwise Asymptotic Stability in a Hybrid System and Well-Posed Behavior Beyond Zeno, Hybrid dynamical systems with controlled discrete transitions, Generalized solutions in systems with active unilateral constraints, An axiomatic approach to existence and liveness for differential equations, Asynchronous event-triggered observation and control of linear systems via impulsive observers, Well-posedness of bimodal state-based switched systems, Passivity and complementarity, On the control of uncertain impulsive systems: approximate stabilization and controlled invariance, Value function for regional control problems via dynamic programming and Pontryagin maximum principle, Stability of impulsive piecewise linear systems, On the representation of switched systems with inputs by perturbed control systems, Finite valued feedback laws and piecewise classical solutions, Necessary and Sufficient Conditions for the Noninvertibility of Fundamental Solution Matrices of a Discontinuous System, Distributed event-triggered consensus strategy for multi-agent systems under limited resources, A class of robust consensus algorithms with predefined‐time convergence under switching topologies, Discrete valued feedback laws and the Zeno phenomenon, Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems, Direct methods with maximal lower bound for mixed-integer optimal control problems, Time-scaling symmetry and Zeno solutions, On uniform controller design for linear switched systems, Dynamic Bipedal Walking under Stick-Slip Transitions, On approximate controllability of non-autonomous measure driven systems with non-instantaneous impulse, Robust reliable control of switched uncertain systems with time-varying delay, Remarks on the stabilizability of integrator switching systems, Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

• Dymola

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• Controllers for reachability specifications for hybrid systems
• Stabilization of nonholonomic integrators via logic-based switching
• Control of systems integrating logic, dynamics, and constraints
• A theory of timed automata
• O-minimal hybrid systems.
• On the regularization of Zeno hybrid automata
• Differential automata and their discrete simulators
• Free energy of self-interacting uniform stars
• Stability theory for hybrid dynamical systems
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Complementarity modeling of hybrid systems
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• The SHIFT programming language for dynamic networks of hybrid automata
• A unified framework for hybrid control: model and optimal control theory
• Piecewise linear quadratic optimal control
• On the synthesis of discrete controllers for timed systems
• Rigid-Body Dynamics with Friction and Impact