The following pages link to Scheduling with timed automata (Q2368955):
Displaying 14 items.
- Robust reachability in timed automata and games: a game-based approach (Q481098) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems (Q2061133) (← links)
- Model checking for entanglement swapping (Q2112108) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
- A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms (Q6120385) (← links)
