scientific article
From MaRDI portal
Publication:3384178
zbMath1483.68205arXiv1709.02108MaRDI QIDQ3384178
Andrei Sandler, Olga Tveretina
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02108
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Ordinary differential inclusions (34A60) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) 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
- What's decidable about hybrid automata?
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Enumeration of the Elementary Circuits of a Directed Graph
- Hybrid Systems: Computation and Control
- Relaxing Goodness Is Still Good
- Hybrid Systems: Computation and Control
This page was built for publication:
