Minimum and maximum delay problems in real-time systems
From MaRDI portal
Publication:685111
Recommendations
Cites work
Cited in
(26)- Optimal paths in weighted timed automata
- A survey of timed automata for the development of real-time systems
- Fair termination for parameterized probabilistic concurrent systems
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Compositional schedulability analysis of real-time actor-based systems
- Schedulability of asynchronous real-time concurrent objects
- Robust safety of timed automata
- Interrupt timed automata: verification and expressiveness
- Folk theorems on the determinization and minimization of timed automata
- Scheduling with timed automata
- A performance analysis of minimum laxity and earliest deadline scheduling in a real-time system
- Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems
- Efficient timed model checking for discrete-time systems
- On a class of timer hybrid systems reducible to finite state automata
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Reachability in two-clock timed automata is PSPACE-complete
- Verifying time Petri nets by linear programming
- Checking timed Büchi automata emptiness efficiently
- The power of reachability testing for timed automata
- Model checking restricted sets of timed paths
- Parametric metric interval temporal logic
- Concavely-Priced Timed Automata
- On the minimum delay problem
- scientific article; zbMATH DE number 7649936 (Why is no real title available?)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
- An introduction to timed automata
This page was built for publication: Minimum and maximum delay problems in real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685111)
