Approximate predictability of pseudo-metric systems
From MaRDI portal
Publication:2178224
DOI10.1016/j.nahs.2020.100869zbMath1441.93165OpenAlexW3000288956WikidataQ126319064 ScholiaQ126319064MaRDI QIDQ2178224
Giordano Pola, Elena De Santis, Gabriella Fiore, Maria Domenica Di Benedetto
Publication date: 7 May 2020
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://zenodo.org/record/4795763
piecewise affine systemssymbolic modelsapproximate simulationapproximate predictabilitypseudo-metric systems
Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) General systems (93A10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- A survey of some recent results on nonlinear fault tolerant control
- Approximately bisimilar symbolic models for nonlinear control systems
- Predictability of event occurrences in partially-observed discrete-event systems
- Cauchy sequences in quasi-pseudo-metric spaces
- Diagnosability of discrete event systems and its applications
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Symbolic control design of nonlinear systems with outputs
- Robust prognosability for a set of partially observed discrete event systems
- Fault prognosis of timed stochastic discrete event systems with bounded estimation error
- Observability and diagnosability of finite state systems: a unifying framework
- Symbolic Models for Networks of Control Systems
- Stochastic Failure Prognosability of Discrete Event Systems
- Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Verification and Control of Hybrid Systems
- Diagnosability of discrete-event systems
- Symbolic models for nonlinear control systems affected by disturbances
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximation Metrics for Discrete and Continuous Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions