Finite abstraction of mixed monotone systems with discrete and continuous inputs
From MaRDI portal
(Redirected from Publication:2374568)
Recommendations
Cites work
- scientific article; zbMATH DE number 591302 (Why is no real title available?)
- scientific article; zbMATH DE number 1148208 (Why is no real title available?)
- scientific article; zbMATH DE number 2085344 (Why is no real title available?)
- scientific article; zbMATH DE number 758785 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A global attractivity result for maps with invariant boxes
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Computing Abstractions of Nonlinear Systems
- Computing reachable sets for uncertain nonlinear monotone systems
- Efficient finite abstraction of mixed monotone systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Finite Abstractions of Max-Plus-Linear Systems
- Global stability for mixed monotone systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Monotone control systems
- Monotone maps: a review
- Nonmonotone systems decomposable into monotone systems with negative feedback
- Receding Horizon Temporal Logic Planning
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- The discrete dynamics of monotonically decomposable maps
- Verification and Control of Hybrid Systems
- What's decidable about hybrid automata?
Cited in
(7)- Discrete abstraction of multiaffine systems
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Efficient finite abstraction of mixed monotone systems
- Stabilization of stochastic complex networks with delays based on completely aperiodically intermittent control
- Symmetries and periodic orbits in simple hybrid Routhian systems
- Directed specifications and assumption mining for monotone dynamical systems
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
This page was built for publication: Finite abstraction of mixed monotone systems with discrete and continuous inputs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2374568)