Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
DOI10.1080/13873954.2017.1369437zbMath1485.93277OpenAlexW2749943164MaRDI QIDQ5861104
M. D. O'Toole, Eva María Navarro-López
Publication date: 4 March 2022
Published in: Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/13873954.2017.1369437
Control of mechanical systems (70Q05) Computational methods for problems pertaining to biology (92-08) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The contact problem in Lagrangian systems subject to bilateral and unilateral constraints, with or without sliding Coulomb's friction: a tutorial
- Controller synthesis for safety and reachability via approximate bisimulation
- Projected event-capturing time-stepping schemes for nonsmooth mechanical systems with unilateral contact and Coulomb's friction
- Qualitative simulation
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Mechanical system dynamics
- Approximate simulation relations for hybrid systems
- Numerics of unilateral contacts and friction. Modeling and numerical time integration in non-smooth dynamics
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Sliding modes in control and optimization. Transl. from the Russian
- A mixed formulation for frictional contact problems prone to Newton like solution methods
- Nonsmooth mechanics. Models, dynamics and control.
- A theory of discontinuities in physical system models
- A comprehensive methodology for building hybrid models of physical systems
- An introduction to hybrid dynamical systems
- Complementarity formulations and existence of solutions of dynamic multi-rigid-body contact problems with Coulomb friction
- On the regularization of Zeno hybrid automata
- Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
- Stability and convergence of mechanical systems with unilateral constraints
- Falsification of temporal properties of hybrid systems using the cross-entropy method
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Falsification of LTL Safety Properties in Hybrid Systems
- An augmented lagrangian treatment of contact problems involving friction
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- An Approximate Simulation Approach to Symbolic Control
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Feedback can reduce the specification complexity of motor programs
- Dynamical properties of hybrid automata
- Hybrid Systems: Computation and Control
- Hybrid dynamical systems
- Hybrid Systems: Computation and Control
This page was built for publication: Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
