Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
DOI10.1016/J.NAHS.2015.10.004zbMATH Open1336.93085OpenAlexW2188392781MaRDI QIDQ254170FDOQ254170
Authors: Michal Konečný, Walid Taha, Ferenc A. Bartha, Jan Duracz, Adam Duracz, Aaron D. Ames 
Publication date: 8 March 2016
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2015.10.004
Recommendations
Dynamical systems in control (37N35) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Time-scaling symmetry and Zeno solutions
- Differential dynamic logic for hybrid systems
- Nonsmooth mechanics. Models, dynamics and control.
- A theory of timed automata
- PCF extended with real numbers
- Numerical aspects of the sweeping process
- On the regularization of Zeno hybrid automata
- Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
- Higher order Moreau's sweeping process: mathematical formulation and numerical simulation
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Title not available (Why is that?)
- Zeno hybrid systems
- Hyperstream processing systems, nonstandard modeling of continuous-time signals
- Characterizing knee-bounce in bipedal robotic walking: a Zeno behavior approach
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- From hybrid data-flow languages to hybrid automata: a complete translation
- Solving Ordinary Differential Equations I
- A Domain-Theoretic Account of Picard's Theorem
- Title not available (Why is that?)
- Introduction to Interval Analysis
- Modelling of Complex Systems: Systems as Dataflow Machines
- Using redundant constraints for refinement
- Title not available (Why is that?)
- Dynamics with Inequalities
- Validated numerics. A short introduction to rigorous computations.
- Zeno Stability of the Set-Valued Bouncing Ball
- Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems
- Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior
- Lyapunov Theory for Zeno Stability
- A Hybrid Denotational Semantics for Hybrid Systems
- Continuous system simulation
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Linear Complementarity Systems: Zeno States
- Hybrid Systems: Computation and Control
- Languages and Tools for Hybrid Systems Design
- Hybrid Systems: Computation and Control
- Foundations of Software Science and Computation Structures
- Differential inclusions in nonsmooth mechanical problems. Shocks and dry friction
- Reachability analysis of linear systems using support functions
Cited In (12)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Bracketing backward reach sets of a dynamical system
- Title not available (Why is that?)
- Recent advances in a rigorous computation of Poincaré maps
- Simulation of hybrid systems under Zeno behavior using numerical infinitesimals
- On the regularization of Zeno hybrid automata
- Hybrid automation extended model
- Asymptotic properties of Zeno solutions
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
- Invariant forms in hybrid and impact systems and a taming of Zeno
- Hybrid Systems: Computation and Control
- Pointwise asymptotic stability in a hybrid system and well-posed behavior beyond Zeno
Uses Software
This page was built for publication: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q254170)
