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