Dynamical properties of hybrid automata

DOI10.1109/TAC.2002.806650zbMath1364.93503OpenAlexW2129231075WikidataQ60432443 ScholiaQ60432443MaRDI QIDQ5266959

Karl Henrik Johansson, John Lygeros, Slobodan N. Simić, Jun Zhang, Shankar S. Sastry

Publication date: 20 June 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2002.806650

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

SECOND-ORDER ITERATIVE METHOD FOR OPTIMAL CONTROL PROBLEMS OF MULTISTAGE PROCESSES ⋮ Hybrid dynamical systems with hybrid inputs: Definition of solutions and applications to interconnections ⋮ State estimation for linear hybrid systems with periodic jumps and unknown inputs ⋮ Stability of hybrid system with the interaction of continuous and discrete states ⋮ Verifying Switched System Stability With Logic ⋮ Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction ⋮ High gain observer for a three‐cell chopper: Design and experimental results ⋮ State Observation for Nonlinear Switched Systems Using Nonhomogeneous High‐Order Sliding Mode Observers ⋮ On the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic Walkers ⋮ Formal composition of hybrid systems ⋮ Projected Dynamical Systems on Irregular, Non-Euclidean Domains for Nonlinear Optimization ⋮ Conley's Fundamental Theorem for a Class of Hybrid Systems ⋮ Set-membership parity space hybrid system diagnosis ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ An observer for switched Lipschitz continuous systems ⋮ Model-based dual-stage event-triggered control of linear system with two time scales ⋮ A hybrid model of the Akamai adaptive streaming control system ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Simulation of hybrid systems under Zeno behavior using numerical infinitesimals ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Stability of dynamical polysystems via families of Liapunov functions ⋮ Tradeoffs between quality-of-control and quality-of-service in large-scale nonlinear networked control systems ⋮ The Exponential Stability for a Class of Hybrid Systems ⋮ Chattering in the reach control problem ⋮ Hybrid control of a multicellular converter ⋮ Solutions to hybrid inclusions via set and graphical convergence with stability theory applications ⋮ Applications of numerical optimal control to nonlinear hybrid systems ⋮ Event-triggered average-consensus of multi-agent systems with weighted and direct topology ⋮ An embedding approach for the design of state-feedback tracking controllers for references with jumps ⋮ On a class of hybrid differential games ⋮ An augmented BV setting for feedback switching control ⋮ First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ Lexicographic derivatives of nonsmooth glucose-insulin kinetics under normal and artificial pancreatic responses ⋮ The salted Kalman filter: Kalman filtering on hybrid dynamical systems ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Distance function design and Lyapunov techniques for the stability of hybrid trajectories ⋮ Stability tests and stabilization for piecewise linear systems based on poles and zeros of subsystems ⋮ Almost always observable hybrid systems ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ On the emergence of oscillations in distributed resource allocation ⋮ Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach ⋮ High-order sliding mode observers for nonlinear autonomous switched systems with unknown inputs ⋮ Stability of primal-dual gradient dynamics and applications to network optimization ⋮ Rank deficiency and superstability of hybrid systems ⋮ Distributed edge event-triggered consensus protocol of multi-agent systems with communication buffer ⋮ Input-to-state stability for a class of hybrid dynamical systems via averaging ⋮ Distributed gradient algorithm for constrained optimization with application to load sharing in power systems ⋮ Asymptotic convergence of constrained primal-dual dynamics ⋮ Impact limit cycles in the planar piecewise linear hybrid systems ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Observer-Based Control of Linear Complementarity Systems ⋮ The computation of the viability kernel for switched systems ⋮ An impulsive dynamical systems framework for reset control systems ⋮ Generalized solutions to hybrid dynamical systems ⋮ UNIFORM CONVERGENCE OF MONOTONE MEASURE DIFFERENTIAL INCLUSIONS: WITH APPLICATION TO THE CONTROL OF MECHANICAL SYSTEMS WITH UNILATERAL CONSTRAINTS ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ Sensitivity analysis of nonsmooth power control systems with an example of wind turbines ⋮ Models, feedback control, and open problems of 3D bipedal robotic walking ⋮ Stability analysis for stochastic hybrid systems: a survey ⋮ Existence of optimal controls on hybrid time domains ⋮ Nonsmooth DAEs with Applications in Modeling Phase Changes ⋮ Modeling and analysis of DNA replication ⋮ Modelling and control of a flying robot interacting with the environment ⋮ Nonlinear observer for autonomous switching systems with jumps ⋮ Symmetry exploiting control of hybrid mechanical systems ⋮ Estimation problems for a class of impulsive systems ⋮ Observer-based control of linear complementarity systems ⋮ Robust finite time observer design for multicellular converters ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Results and perspectives on fault tolerant control for a class of hybrid systems ⋮ Invariant dual cones for hybrid systems ⋮ Invariance principles for switching systems via hybrid systems techniques ⋮ On the control of uncertain impulsive systems: approximate stabilization and controlled invariance ⋮ Nonsmooth Hessenberg differential-algebraic equations ⋮ Morphogenesis modelization of a fractone-based model ⋮ Viable set computation for hybrid systems ⋮ Hybrid observer design for linear switched system via differential Petri nets ⋮ Box invariance in biologically-inspired dynamical systems ⋮ Observability and observer design for hybrid multicell choppers ⋮ On the representation of switched systems with inputs by perturbed control systems ⋮ The Krakovskii-LaSalle invariance principle for a class of unilateral dynamical systems ⋮ Stability analysis for multi-agent systems using the incidence matrix: quantized communication and formation control ⋮ Dynamical properties of hybrid systems simulators ⋮ An invariance principle for nonlinear switched systems ⋮ An extension of LaSalle's invariance principle for switched systems ⋮ Computationally relevant generalized derivatives: theory, evaluation and applications ⋮ A complexity reduction approach to detectability of switching systems ⋮ Distributed event-triggered consensus strategy for multi-agent systems under limited resources ⋮ Limit cycle analysis in a class of hybrid systems ⋮ Local analysis of hybrid systems on polyhedral sets with state-dependent switching ⋮ Hybrid control of networked embedded systems ⋮ Non-minimum phase switched systems: HOSM-based fault detection and fault identification via Volterra integral equation ⋮ Topologies for hybrid solutions ⋮ Predictive control for hybrid systems. Implications of polyhedral pre-computations ⋮ Object-oriented modelling of starch mashing for simulation-based control studies ⋮ Adaptive neural control for a class of switched nonlinear systems ⋮ Relaxation results for hybrid inclusions ⋮ Input/output stability of systems with switched dynamics and outputs ⋮ Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach ⋮ Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces ⋮ Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management ⋮ Temporal logic motion planning for dynamic robots ⋮ Observer-basedH_∞resilient control for a class of switched LPV systems and its application ⋮ A structural approach to detectability for a class of hybrid systems ⋮ Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions ⋮ Fault-tolerant control for a class of hybrid systems with uncontrollable switching ⋮ Global stabilisation of switched nonlinear systems inp-normal form with mixed odd and even powers ⋮ Uniform stability properties of switched systems with switchings governed by digraphs ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ On uniform controller design for linear switched systems ⋮ A model for stochastic hybrid systems with application to communication networks ⋮ Mixed logical dynamical modeling of discrete-time hybrid fractional systems ⋮ Relating Hybrid Chi to Other Formalisms ⋮ Nonlinear consensus via continuous, sampled, and aperiodic updates ⋮ Fully distributed observer-based consensus protocol: adaptive dynamic event-triggered schemes