Dynamical properties of hybrid automata
From MaRDI portal
Publication:5266959
Cited in
(only showing first 100 items - show all)- Observer-based control of linear complementarity systems
- Dynamical properties of hybrid systems simulators
- Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics
- Predictive control for hybrid systems. Implications of polyhedral pre-computations
- Models, feedback control, and open problems of 3D bipedal robotic walking
- Results and perspectives on fault tolerant control for a class of hybrid systems
- Asymptotic convergence of constrained primal-dual dynamics
- Symmetry exploiting control of hybrid mechanical 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
- Invariance principles for switching systems via hybrid systems techniques
- Robust finite time observer design for multicellular converters
- Estimation problems for a class of impulsive systems
- Hybrid control of a multicellular converter
- Finite abstractions for hybrid systems with stable continuous dynamics
- Understanding deadlock and livelock behaviors in hybrid control systems
- Stability analysis for stochastic hybrid systems: a survey
- Hybrid observer design for linear switched system via differential Petri nets
- Input/output stability of systems with switched dynamics and outputs
- Invariant dual cones for hybrid systems
- A hybrid model of the Akamai adaptive streaming control system
- Distributed event-triggered consensus strategy for multi-agent systems under limited resources
- Rank deficiency and superstability of hybrid systems
- Input-to-state stability for a class of hybrid dynamical systems via averaging
- The Krakovskii-LaSalle invariance principle for a class of unilateral dynamical systems
- Applications of numerical optimal control to nonlinear hybrid systems
- On the representation of switched systems with inputs by perturbed control systems
- Temporal logic motion planning for dynamic robots
- Nonlinear observer for autonomous switching systems with jumps
- High-order sliding mode observers for nonlinear autonomous switched systems with unknown inputs
- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
- Modeling and analysis of DNA replication
- Modelling and control of a flying robot interacting with the environment
- Hybrid control of networked embedded systems
- UNIFORM CONVERGENCE OF MONOTONE MEASURE DIFFERENTIAL INCLUSIONS: WITH APPLICATION TO THE CONTROL OF MECHANICAL SYSTEMS WITH UNILATERAL CONSTRAINTS
- Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
- The exponential stability for a class of hybrid systems
- A model for stochastic hybrid systems with application to communication networks
- On the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic Walkers
- A structural approach to detectability for a class of hybrid systems
- Non-minimum phase switched systems: HOSM-based fault detection and fault identification via Volterra integral equation
- Relaxation results for hybrid inclusions
- Topologies for hybrid solutions
- Syntax and consistent equation semantics of hybrid Chi
- Conley's fundamental theorem for a class of hybrid systems
- Nonlinear consensus via continuous, sampled, and aperiodic updates
- Uniform stability properties of switched systems with switchings governed by digraphs
- Adaptive neural control for a class of switched nonlinear systems
- An augmented BV setting for feedback switching control
- Stability of dynamical polysystems via families of Liapunov functions
- On a class of hybrid differential games
- Stability tests and stabilization for piecewise linear systems based on poles and zeros of subsystems
- Event-triggered average-consensus of multi-agent systems with weighted and direct topology
- Morphogenesis modelization of a fractone-based model
- On uniform controller design for linear switched systems
- Stability analysis for multi-agent systems using the incidence matrix: quantized communication and formation control
- Computationally relevant generalized derivatives: theory, evaluation and applications
- State observation for nonlinear switched systems using nonhomogeneous high-order sliding mode observers
- On the control of uncertain impulsive systems: approximate stabilization and controlled invariance
- Distributed gradient algorithm for constrained optimization with application to load sharing in power systems
- Box invariance in biologically-inspired dynamical systems
- Chattering in the reach control problem
- Limit cycle analysis in a class of hybrid systems
- Global stabilisation of switched nonlinear systems in \(p\)-normal form with mixed odd and even powers
- An observer for switched Lipschitz continuous systems
- Generalized solutions to hybrid dynamical systems
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
- Viable set computation for hybrid systems
- Investigation of the dynamics of discrete automata with undeffined signal values. II
- Relating hybrid chi to other formalisms
- Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions
- State estimation for linear hybrid systems with periodic jumps and unknown inputs
- Existence of optimal controls on hybrid time domains
- Nonsmooth DAEs with applications in modeling phase changes
- Fully distributed observer-based consensus protocol: adaptive dynamic event-triggered schemes
- Tradeoffs between quality-of-control and quality-of-service in large-scale nonlinear networked control systems
- Quasi-dependent variables in hybrid automata
- Lexicographic derivatives of nonsmooth glucose-insulin kinetics under normal and artificial pancreatic responses
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Object-oriented modelling of starch mashing for simulation-based control studies
- Impact limit cycles in the planar piecewise linear hybrid systems
- Observability and observer design for hybrid multicell choppers
- Nonsmooth Hessenberg differential-algebraic equations
- Observer-Based Control of Linear Complementarity Systems
- Almost always observable hybrid systems
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
- An impulsive dynamical systems framework for reset control systems
- Distributed edge event-triggered consensus protocol of multi-agent systems with communication buffer
- The salted Kalman filter: Kalman filtering on hybrid dynamical systems
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Simulation of hybrid systems under Zeno behavior using numerical infinitesimals
- Stability of hybrid system with the interaction of continuous and discrete states
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
- SECOND-ORDER ITERATIVE METHOD FOR OPTIMAL CONTROL PROBLEMS OF MULTISTAGE PROCESSES
- Observer-based \(H_\infty\) resilient control for a class of switched LPV systems and its application
- Distance function design and Lyapunov techniques for the stability of hybrid trajectories
- Set-membership parity space hybrid system diagnosis
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)
