Pages that link to "Item:Q3613004"
From MaRDI portal
The following pages link to Automata Based Interfaces for Control and Scheduling (Q3613004):
Displayed 4 items.
- Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems (Q1796985) (← links)
- Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems (Q2925519) (← links)
- Contracts for Schedulability Analysis (Q2945603) (← links)
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics (Q3624590) (← links)