Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems (Q1640292): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2017.12.010
@@ Property / DOI: 10.1016/j.automatica.2017.12.010 / rank @@
-Normal rank
@@ Property / cites work @@
+Event-based networked control and scheduling codesign with guaranteed performance
+Normal rank
@@ Property / cites work @@
+Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete event systems with distinguishers
+Normal rank
@@ Property / cites work @@
+Soft real-time scheduling for embedded control systems
+Normal rank
@@ Property / cites work @@
+Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Supervisor reduction for discrete-event systems
@@ Property / cites work: Supervisor reduction for discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+A synthesis framework for robust gain-scheduling controllers
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2017.12.010
@@ Property / DOI: 10.1016/J.AUTOMATICA.2017.12.010 / rank @@
+Normal rank