Optimal mixed discrete-continuous planning for linear hybrid systems
From MaRDI portal
Publication:6201587
DOI10.1145/3447928.3456654arXiv2102.08261OpenAlexW3159833470MaRDI QIDQ6201587
Jingkai Chen, Chuchu Fan, Brian C. Williams
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.08261
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Controller synthesis for safety and reachability via approximate bisimulation
- What's decidable about hybrid automata?
- NuSMV: A new symbolic model checker
- COLIN: Planning with Continuous Linear Numeric Change
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Reactive synthesis from signal temporal logic specifications
- SCOTS
- Falsification of LTL Safety Properties in Hybrid Systems
- Verification and Control of Hybrid Systems
- ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization
- A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
- Compositional Synthesis of Finite-State Abstractions
- Linear Time Logic Control of Discrete-Time Linear Systems
- Receding Horizon Temporal Logic Planning
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Theoretical Aspects of Computing - ICTAC 2004
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
- Controller synthesis made real: reach-avoid specifications and linear dynamics
This page was built for publication: Optimal mixed discrete-continuous planning for linear hybrid systems
