Accurate hybridization of nonlinear systems
From MaRDI portal
Publication:2985859
DOI10.1145/1755952.1755956zbMath1360.93083OpenAlexW2147936671MaRDI QIDQ2985859
Romain Testylier, Oded Maler, Thao Dang
Publication date: 10 May 2017
Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1755952.1755956
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Robust constrained control of piecewise affine systems through set‐based reachability computations ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ Computing reachable states for nonlinear biological models ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
Cites Work
- Unnamed Item
- Unnamed Item
- What's decidable about hybrid automata?
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Discrete-time control for rectangular hybrid automata
- Unfoldings: A partial-order approach to model checking.
- Marked directed graphs
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Accurate hybridization of nonlinear systems
