Pages that link to "Item:Q2986969"
From MaRDI portal
The following pages link to Abstracting and refining robustness for cyber-physical systems (Q2986969):
Displaying 3 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- An STL-based formulation of resilience in cyber-physical systems (Q2112110) (← links)