On the regularization of Zeno hybrid automata

DOI10.1016/S0167-6911(99)00059-6zbMath0948.93031OpenAlexW2068864491WikidataQ60432460 ScholiaQ60432460MaRDI QIDQ1978482

Karl Henrik Johansson, John Lygeros, Magnus B. Egerstedt, Shankar S. Sastry

Publication date: 4 June 2000

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6911(99)00059-6

zbMATH Keywords

simulation regularization hybrid systems Zeno automata

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (only showing first 100 items - show all)

Adaptive backstepping control for nonlinear interconnected systems with prespecified-performance-driven output triggering ⋮ Adaptive fuzzy prescribed settling time consensus control for multi-agent systems with input hysteresis via dynamic event-triggered mechanism ⋮ Event-triggered adaptive consensus for stochastic multi-agent systems with saturated input and partial state constraints ⋮ Event‐triggered adaptive control of strict‐feedback nonlinear systems under output constraints and unknown control direction ⋮ Sampled‐data‐based event‐triggered adaptive prescribed performance control of uncertain strict‐feedback nonlinear systems ⋮ Reduced‐order observer‐based adaptive event‐triggered output feedback tracking control for a class of nonlinear systems with more general nonlinearities ⋮ Command filter-based adaptive fuzzy switching event-triggered control for non-affine nonlinear systems with actuator faults ⋮ Nash equilibrium seeking for individual linear dynamics subject to limited communication resources ⋮ Consensus of cooperative-antagonistic multi-agent networks with asynchronous three-option decision mechanism ⋮ Pulse width modulation for multi-agent systems ⋮ Event-triggered adaptive control of multi-agent systems with saturated input and partial state constraints ⋮ Simulation of hybrid systems under Zeno behavior using numerical infinitesimals ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Robust event-triggered output feedback controllers for nonlinear systems ⋮ An input-based triggering approach to leader-following problems ⋮ Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes ⋮ Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ Twenty Hopf-like bifurcations in piecewise-smooth dynamical systems ⋮ Non-zenoness of a class of differential quasi-variational inequalities ⋮ Exponential stability of a PI plus reset integrator controller by a sampled-data system approach ⋮ Control of quantized systems based on discrete event models ⋮ Controller synthesis for hybrid systems with a lower bound on event separation ⋮ Solutions to hybrid inclusions via set and graphical convergence with stability theory applications ⋮ Event-triggered average-consensus of multi-agent systems with weighted and direct topology ⋮ Graph process specifications for hybrid networked systems ⋮ Non-Zenoness of piecewise affine dynamical systems and affine complementarity systems with inputs ⋮ Pinning networks of coupled dynamical systems with Markovian switching couplings and event-triggered diffusions ⋮ Event-triggered adaptive asymptotic tracking control of uncertain nonlinear systems with unknown dead-zone constraints ⋮ Consensus analysis of networks with time-varying topology and event-triggered diffusions ⋮ Consistent approximations of the Zeno behaviour in affine-type switched dynamic systems ⋮ Observer-based event-triggered circle formation control for first- and second-order multiagent systems ⋮ Adaptive dynamic surface full state constraints control for stochastic Markov jump systems based on event-triggered strategy ⋮ Adaptive tracking control for a class of switched uncertain nonlinear systems under a new state-dependent switching law ⋮ Distributed model based event-triggered control for synchronization of multi-agent systems ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ Adaptive compensation for actuator failures with event-triggered input ⋮ Asynchronous periodic event-triggered consensus for multi-agent systems ⋮ Adaptive self-triggered control for a nonlinear uncertain system based on neural observer ⋮ Event-based leader-follower consensus of nonlinear multi-agent systems under denial-of-service ⋮ Adaptive neural event‐triggered control for nonlinear uncertain system with input constraint based on auxiliary system ⋮ Switching behavior of solutions of ordinary differential equations with abs-factorable right-hand sides ⋮ Finite-time stabilization of impulsive dynamical linear systems ⋮ Event-triggered control for a class of nonlinear systems with random reset controllers ⋮ On transforming hybrid nonlinear control problems with model uncertainty and input disturbance to mixed integer-linear programs ⋮ Modeling and vibration control for a nonlinear three‐dimensional flexible moving string system with input quantization and event‐triggering ⋮ On robust approximate feedback linearisation with an event-triggered controller ⋮ Novel adaptive neural networks control with event-triggered for uncertain nonlinear system ⋮ Event-triggered tracking control for nonlinear systems subject to time-varying external disturbances ⋮ Reset passivation of nonlinear controllers via a suitable time-regular reset map ⋮ On solution concepts and well-posedness of linear relay systems. ⋮ Event-Triggered Sliding Mode Control Strategies for a Class of Nonlinear Uncertain Systems ⋮ Generalized solutions to hybrid dynamical systems ⋮ Output feedback adaptive sensor failure compensation for a class of parametric strict feedback systems ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ A heuristic method to minimise the chattering problem in dynamic mathematical two-phase flow models ⋮ Event‐triggered adaptive tracking control for a class of uncertain stochastic nonlinear systems with Markov jumping parameters ⋮ Zeno hybrid systems ⋮ On the existence, uniqueness and nature of Carathéodory and Filippov solutions for bimodal piecewise affine dynamical systems ⋮ Asymptotic properties of Zeno solutions ⋮ Nonsmooth DAEs with Applications in Modeling Phase Changes ⋮ 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 ⋮ Distributed event-triggered control for global consensus of multi-agent systems with input saturation ⋮ On the regularization of Zeno hybrid automata ⋮ Robust finite-time stability of impulsive dynamical linear systems subject to norm-bounded uncertainties ⋮ Analytical and numerical Lyapunov functions for SISO linear control systems with first-order reset elements ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Well-posedness of bimodal state-based switched systems ⋮ On the control of uncertain impulsive systems: approximate stabilization and controlled invariance ⋮ Morphogenesis modelization of a fractone-based model ⋮ Viable set computation for hybrid systems ⋮ Value function for regional control problems via dynamic programming and Pontryagin maximum principle ⋮ Dynamic information handling in continuous time Boolean network model of gene interactions ⋮ Fixing Zeno gaps ⋮ Metrics for weighted transition systems: axiomatization and complexity ⋮ Dynamical properties of hybrid systems simulators ⋮ Finite valued feedback laws and piecewise classical solutions ⋮ A hybrid control approach to action coordination for mobile robots ⋮ Cycle-by-Cycle Adaptive Force Compensation for the Soft-Landing Control of an Electro-Mechanical Engine Valve Actuator ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ The complementarity class of hybrid dynamical systems ⋮ Discussion on: ``Switched integrator control schemes for integrating plants ⋮ An algebra of hybrid systems ⋮ Fully abstract models and refinements as tools to compare agents in timed coordination languages ⋮ Discrete valued feedback laws and the Zeno phenomenon ⋮ Distributed Wombling by Robotic Sensor Networks ⋮ Event-triggered variable structure control ⋮ Multi-Tracking of First Order Multi-Agent Networks Via Self-Triggered Control ⋮ Supervisory target control for hybrid systems ⋮ Virtual clothing in hybrid cellular automata ⋮ Model Based Robust Control Law for Linear Event-Triggered System ⋮ A survey on piecewise-linear models of regulatory dynamical systems ⋮ A comprehensive methodology for building hybrid models of physical systems ⋮ Conley's Fundamental Theorem for a Class of Hybrid Systems ⋮ A model for stochastic hybrid systems with application to communication networks ⋮ Design of boundary pulse width modulation controller for a class of heat equations ⋮ A framework for distributed control via dynamic periodic event-triggering mechanisms ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Event-triggered adaptive prescribed performance control for a class of pure-feedback stochastic nonlinear systems with input saturation constraints

Uses Software

Cites Work

This page was built for publication: On the regularization of Zeno hybrid automata