Safe \& robust reachability analysis of hybrid systems

DOI10.1016/j.tcs.2018.06.020zbMath1400.68140arXiv1709.05658OpenAlexW2755572239MaRDI QIDQ1786614

Walid Taha, Adam Duracz, Amin Farjudian, Eugenio Moggi

Publication date: 24 September 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.05658

zbMATH Keywords

robustnesshybrid systemsreachabilitydomain theory

Mathematics Subject Classification ID

Algebraic methods (93B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous lattices and posets, applications (06B35) Categories of machines, automata (18B20)

Related Items (5)

Domain theoretic second-order Euler's method for solving initial value problems ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Robustness, Scott continuity, and computability ⋮ Towards physical hybrid systems

Uses Software

• dReach

Cites Work

• The algorithmic analysis of hybrid systems
• Differential dynamic logic for hybrid systems
• Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2--6, 2017
• Dynamical systems, measures, and fractals via domain theory
• GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
• On Bicontinuous Bisimulation and the Preservation of Stability
• Algorithmic analysis of nonlinear hybrid systems
• Continuous Lattices and Domains
• Abstract Interpretation Frameworks
• Hybrid dynamical systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Safe \& robust reachability analysis of hybrid systems