Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
From MaRDI portal
Publication:254170
Recommendations
Cites work
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 4154020 (Why is no real title available?)
- scientific article; zbMATH DE number 940566 (Why is no real title available?)
- scientific article; zbMATH DE number 1444338 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- A Domain-Theoretic Account of Picard's Theorem
- A Hybrid Denotational Semantics for Hybrid Systems
- A theory of timed automata
- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Characterizing knee-bounce in bipedal robotic walking: a Zeno behavior approach
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Continuous Piecewise Affine Dynamical Systems do not Exhibit Zeno Behavior
- Continuous system simulation
- Differential dynamic logic for hybrid systems
- Differential inclusions in nonsmooth mechanical problems. Shocks and dry friction
- Dynamics with Inequalities
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Foundations of Software Science and Computation Structures
- From hybrid data-flow languages to hybrid automata: a complete translation
- Higher order Moreau's sweeping process: mathematical formulation and numerical simulation
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hyperstream processing systems, nonstandard modeling of continuous-time signals
- Introduction to Interval Analysis
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Languages and Tools for Hybrid Systems Design
- Linear Complementarity Systems: Zeno States
- Lyapunov Theory for Zeno Stability
- Modelling of Complex Systems: Systems as Dataflow Machines
- Nonsmooth mechanics. Models, dynamics and control.
- Numerical aspects of the sweeping process
- Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
- On the regularization of Zeno hybrid automata
- PCF extended with real numbers
- Reachability analysis of linear systems using support functions
- Solving Ordinary Differential Equations I
- Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems
- Time-scaling symmetry and Zeno solutions
- Using redundant constraints for refinement
- Validated numerics. A short introduction to rigorous computations.
- Zeno Stability of the Set-Valued Bouncing Ball
- Zeno hybrid systems
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
- Recent advances in a rigorous computation of Poincaré maps
- scientific article; zbMATH DE number 1444370 (Why is no real title available?)
- 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
Describes a project that uses
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)
