SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
DOI10.1007/S10626-019-00288-8zbMATH Open1441.93183OpenAlexW2970702872WikidataQ127322358 ScholiaQ127322358MaRDI QIDQ2177772FDOQ2177772
Authors: Yanyan Li 
Publication date: 6 May 2020
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-019-00288-8
Recommendations
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK
worst-case execution timereal-time systemssupervisory controlbest-case execution timeconditional preemption
Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)
Cites Work
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
- On the complexity of fixed-priority scheduling of periodic, real-time tasks
- Supervisory Control of a Class of Discrete Event Processes
- Hard real-time computing systems. Predictable scheduling algorithms and applications.
- Modular supervisory control of discrete-event systems
- Nonblocking Supervisory Control of State Tree Structures
- Real time scheduling theory: A historical perspective
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Supervisory control of timed discrete-event systems
- On non-preemptive scheduling of recurring tasks using inserted idle times
- Nonblocking supervisory control of state tree structures.
- A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
- Supervisory control of discrete-event systems
- Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
- Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
- On controlling prioritized discrete event systems with real-time constraints
- Supervisory control of state-tree structures with partial observation
Cited In (6)
- Response time driven scheduling for programmable logic controllers with network-based I/O systems
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems
- Flexible hard real-time scheduling for deliberative AI systems
Uses Software
This page was built for publication: SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177772)
