Accurate hybridization of nonlinear systems

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

zbMATH Keywords

nonlinear systemsnumerical analysisreachability computation

Mathematics Subject Classification ID

Algorithms for approximation of functions (65D15) Attainable sets, reachability (93B03)

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