Pages that link to "Item:Q2174020"
From MaRDI portal
The following pages link to Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020):
Displaying 7 items.
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- Finite-step approximately bi-similar symbolic model for switched systems (Q6559382) (← links)
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems (Q6569388) (← links)