Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
From MaRDI portal
Publication:3624580
DOI10.1007/978-3-642-00602-9_22zbMath1237.93022OpenAlexW2164957184MaRDI QIDQ3624580
Publication date: 30 April 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_22
Control/observation systems involving computers (process control, etc.) (93C83) Discrete-time control/observation systems (93C55) Attainable sets, reachability (93B03)
Related Items (6)
A parametric multiple Lyapunov equations approach to switched systems with actuator saturation ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Finite controlled invariants for sampled switched systems ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Low-complexity quantized switching controllers using approximate bisimulation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Convexity of reachable sets of nonlinear ordinary differential equations
- Directed hypergraphs and applications
- Supervisory control of hybrid systems within a behavioural framework
- Abstractions for hybrid systems
- Paradigms and puzzles in the theory of dynamical systems
- Local homeo- and diffeomorphisms: invertibility and convex image
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- An Approximate Simulation Approach to Symbolic Control
- Computational techniques for hybrid system verification
- Convex Analysis
- Ordinary Differential Equations
- Modular Feedback Logic for Discrete Event Systems
- Convexity of nonlinear image of a small ball with applications to optimization
This page was built for publication: Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
