The Teja System for Real-Time Dynamic Event Management

Teja1is a Software platform for implementing real-time Dynamic Event Management Systems. Event management is at the heart of all management and control processes. Events arise from process logic, real-time conditions, state space conditions, synchronization needs, asynchronous interrupts, and user inputs. They must be scheduled in a timely manner to meet the application’s behavioral requirements.

[1]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[2]  Pravin Varaiya,et al.  The use of SHIFT in system design , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[3]  Thomas A. Henzinger,et al.  HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[4]  Akash Deshpande,et al.  The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[5]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[6]  Pravin Varaiya,et al.  SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.

[7]  Akash Deshpande,et al.  The SHIFT programming language for dynamic networks of hybrid automata , 1998 .