Optimal CPU allocation to a set of control tasks with soft real--time execution constraints
From MaRDI portal
Publication:2986929
DOI10.1145/2461328.2461365zbMath1361.68020OpenAlexW2123534187MaRDI QIDQ2986929
Daniele Fontantelli, Luca Greco, Luigi Palopoli
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2461328.2461365
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Cites Work
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
- Unnamed Item
- Unnamed Item
- Unnamed Item