SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata

SHIFT is a programming language for the specification and simulation of dynamic networks of hybrid automata. Such systems consist of components which can be created, interconnected and destroyed as the system evolves. Components exhibit hybrid behavior, consisting of continuous-time phases separated by discrete-event transitions. Components may evolve independently, or they may interact through their inputs, outputs and exported events. The interaction network itself may evolve.

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

[2]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[3]  Akash R. Deshpande.  Automated Highway System Tool Interface Format , 1996 .

[4]  Farokh Eskafi,et al.  Simulation framework requirements and methodologies in automated highway planning , 1997 .

[5]  Pravin Varaiya,et al.  SmartAHS: A simulation framework for automated vehicles and highway systems , 1998 .

[6]  Pravin Varaiya,et al.  An automated highway system simulator , 1995 .

[7]  Pravin Varaiya,et al.  Driving safely in smart cars , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[8]  Herbert Prähofer,et al.  An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS , 1993, Discret. Event Dyn. Syst..

[9]  Pravin Varaiya,et al.  Protocol design for an automated highway system , 1993, Discret. Event Dyn. Syst..

[10]  Robert P. Kurshan,et al.  Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

[11]  Pravin Varaiya,et al.  Design and Evaluation Tools for Automated Highway Systems , 1995, Hybrid Systems.

[12]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[13]  Pravin Varaiya,et al.  Protocol Design for an Automated Highway System (Abstract) , 1993, CAV.

[14]  S. E. Mattsson,et al.  The ideas behind Omola , 1992, IEEE Symposium on Computer-Aided Control System Design.

[15]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[16]  Pravin Varaiya,et al.  Viable Control of Hybrid Systems , 1994, Hybrid Systems.

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

[18]  E. Singh,et al.  Design and Verification of Communication Protocols for degraded modes of operation of AHS , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[19]  Akash Deshpande,et al.  SHIFT Reference Manual , 1997 .

[20]  John Lygeros,et al.  Verification of Hybrid Systems: Monotonicity in the AHS Control System , 1995, Hybrid Systems.

[21]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[22]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[23]  Aleks Ohannes Gollu,et al.  Object Management Systems , 1995 .

[24]  Tag Gon Kim,et al.  The DEVS formalism: a framework for logical analysis and performance evaluation for discrete event systems , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[25]  Fernando J. Barros,et al.  Dynamic-structure discrete event systems: a comparison of methodologies and environments , 1997, Defense, Security, and Sensing.

[26]  George J. Pappas,et al.  SmartATMS: a simulator for air traffic management systems , 1997, WSC '97.

[27]  Pravin Varaiya,et al.  Finitely recursive process models for discrete event systems , 1988 .