Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
From MaRDI portal
Publication:254170
DOI10.1016/j.nahs.2015.10.004zbMath1336.93085OpenAlexW2188392781MaRDI QIDQ254170
Adam Duracz, Michal Konečný, Ferenc A. Bartha, Aaron D. Ames, Walid Taha, Jan Duracz
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Recent advances in a rigorous computation of Poincaré maps ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ Asymptotic properties of Zeno solutions ⋮ Pointwise Asymptotic Stability in a Hybrid System and Well-Posed Behavior Beyond Zeno ⋮ Bracketing backward reach sets of a dynamical system ⋮ Hybrid Automation Extended Model ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Differential inclusions in nonsmooth mechanical problems. Shocks and dry friction
- Reachability analysis of linear systems using support functions
- 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
- Zeno hybrid systems
- Hyperstream processing systems
- Characterizing knee-bounce in bipedal robotic walking
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- From hybrid data-flow languages to hybrid automata
- Solving Ordinary Differential Equations I
- A Domain-Theoretic Account of Picard's Theorem
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Introduction to Interval Analysis
- Modelling of Complex Systems: Systems as Dataflow Machines
- Using Redundant Constraints for Refinement
- Dynamics with Inequalities
- 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
- 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
This page was built for publication: Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
