Pages that link to "Item:Q3624588"
From MaRDI portal
The following pages link to Periodically Controlled Hybrid Systems (Q3624588):
Displaying 5 items.
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Task level specification and formal verification of robotics control systems: State of the art and case study (Q4546958) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)