Pages that link to "Item:Q3400913"
From MaRDI portal
The following pages link to Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913):
Displaying 12 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Integrated environment for designing real-time control algorithms (Q1946395) (← links)
- Incremental verification for on-the-fly controller synthesis (Q2852029) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Real-time semantics of state transition for embedded control systems (Q2927023) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- High-confidence control: Ensuring reliability in high-performance real-time systems (Q3156850) (← links)
- Verification and Integration of Real-Time Control Software (Q3564014) (← links)
- Real-Time Control of Dense-Time Systems Using Digital-Clocks (Q4978928) (← links)
- A menagerie of timed automata (Q5176174) (← links)
