Finite abstraction of mixed monotone systems with discrete and continuous inputs
DOI10.1016/J.NAHS.2016.04.005zbMATH Open1351.93052OpenAlexW2465361736MaRDI QIDQ2374568FDOQ2374568
Authors: Samuel Coogan, Murat Arcak 
Publication date: 15 December 2016
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2016.04.005
Recommendations
Population dynamics (general) (92D25) Traffic problems in operations research (90B20) Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55)
Cites Work
- Title not available (Why is that?)
- A global attractivity result for maps with invariant boxes
- Nonmonotone systems decomposable into monotone systems with negative feedback
- Efficient finite abstraction of mixed monotone systems
- Global stability for mixed monotone systems
- Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monotone control systems
- What's decidable about hybrid automata?
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finite Abstractions of Max-Plus-Linear Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Computing Abstractions of Nonlinear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Receding Horizon Temporal Logic Planning
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Monotone maps: a review
- The discrete dynamics of monotonically decomposable maps
- Computing reachable sets for uncertain nonlinear monotone systems
- Low-complexity quantized switching controllers using approximate bisimulation
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
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
Uses Software
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)
