Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Strict control over the scheduling and execution of processor resources is essential for many fixed-priority real-time applications. To facilitate this common requirement, the Re...
Irfan Pyarali, Marina Spivak, Ron Cytron, Douglas ...
In this paper, a new control approach for real time speed synchronization of multiple induction motors during speed acceleration and load changes is developed. The control strategy...
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Hui...
In recent years the Olympic Games have undergone vast criticism due to perceived subjective scoring in judged events, as for example figure skating and gymnastics. Judges' sc...
Wolfgang Aigner, Martin Tomitsch, Miruna Stroe, Re...