Asynchronous \(l\)-complete approximations
From MaRDI portal
Publication:464604
DOI10.1016/j.sysconle.2014.08.005zbMath1297.93044arXiv1402.5759OpenAlexW2044485540MaRDI QIDQ464604
Anne-Kathrin Schmuck, Jörg Raisch
Publication date: 27 October 2014
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.5759
Design techniques (robust design, computer-aided design, etc.) (93B51) System structure simplification (93B11)
Related Items (3)
Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic models for control systems
- Hierarchical control system design using approximate simulation
- Supervisory control of hybrid systems within a behavioural framework
- Verification and Control of Hybrid Systems
- Paradigms and puzzles in the theory of dynamical systems
- An Approximate Simulation Approach to Symbolic Control
- Computing Abstractions of Nonlinear Systems
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
This page was built for publication: Asynchronous \(l\)-complete approximations