Dynamical properties of hybrid automata

DOI10.1109/TAC.2002.806650zbMATH Open1364.93503DBLPjournals/tac/LygerosJSZS03OpenAlexW2129231075WikidataQ60432443 ScholiaQ60432443MaRDI QIDQ5266959FDOQ5266959

Karl Henrik Johansson, John Lygeros, Slobodan N. Simić, Jun Zhang, S. Shankar 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) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (only showing first 100 items - show all)

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

This page was built for publication: Dynamical properties of hybrid automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5266959)