Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems

The invention comprises a one piece, concrete, bell type grave liner or protector to be lowered into a grave to enclose a casket. The protector has notches cast in its lower corners, corner edges, or bottom edges to receive a hoisting cable, thereby making handling easy. The protector has a top designed to resist vertical loads, cave-in of the side walls, and a sluffing-off of earth when an excavation is made next to it. The top is also designed to receive saddles for supporting a second protector for double interment. The protector is useful in conjunction with a base for either single or double interment. All side walls are tapered, i.e., inclined downwardly and outwardly to keep the protector from being raised, or "floating" to the surface, when unstable soils become saturated through sprinkling, rain, or exceedingly high water table.

[1]  H. Witsenhausen A class of hybrid-state continuous-time dynamic systems , 1966 .

[2]  W. Wonham,et al.  Topics in mathematical system theory , 1972, IEEE Transactions on Automatic Control.

[3]  S. Liberty,et al.  Linear Systems , 2010, Scientific Parallel Computing.

[4]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[5]  Gene F. Franklin,et al.  Feedback Control of Dynamic Systems , 1986 .

[6]  L. Tavernini Differential automata and their discrete simulators , 1987 .

[7]  Yu-Chi Ho,et al.  Introduction to special issue on dynamics of discrete event systems , 1989, Proc. IEEE.

[8]  Panos J. Antsaklis,et al.  A system and control theoretic perspective on artificial intelligence planning systems , 1989, Appl. Artif. Intell..

[9]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[10]  Shouchuan Hu Differential equations with discontinuous right-hand sides☆ , 1991 .

[11]  A. Michel,et al.  Lyapunov Stability of a Class of Discrete Event Systems , 1991, 1991 American Control Conference.

[12]  Michael P. Wellman,et al.  Planning and Control , 1991 .

[13]  Panos J. Antsaklis,et al.  An introduction to intelligent and autonomous control , 1993 .

[14]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[15]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[16]  Bruce A. Francis,et al.  Optimal Sampled-Data Control Systems , 1996, Communications and Control Engineering Series.

[17]  Panos J. Antsaklis,et al.  Hybrid Systems IV , 1997, Lecture Notes in Computer Science.

[18]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[19]  van der Arjan Schaft,et al.  Hybrid and Real-Time Systems , 1997, Lecture Notes in Computer Science.

[20]  A. Stephen Morse,et al.  Control Using Logic-Based Switching , 1997 .

[21]  J. M. Schumacher Call for papers Automatica special issue on hybrid systems , 1997, Autom..

[22]  Xenofon Koutsoukos,et al.  On hybrid control of complex systems : a survey , 1998 .

[23]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[24]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[25]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[26]  M. Branicky Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[27]  A. Nerode,et al.  Hybrid Control Systems: An Introductory Discussion to the Special Issue , 1998, IEEE Trans. Autom. Control..

[28]  A. Michel Recent trends in the stability analysis of hybrid dynamical systems , 1999 .

[29]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[30]  Frits W. Vaandrager,et al.  Hybrid Systems: Computation and Control: Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings , 1999, Lecture Notes in Computer Science.

[31]  Michael D. Lemmon,et al.  Supervisory hybrid systems , 1999 .

[32]  Panos J. Antsaklis,et al.  Hybrid Systems V , 1999, Lecture Notes in Computer Science.

[33]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[34]  Alessandro Giua,et al.  Journal on Discrete Event Dynamic Systems: theory and applications , 2002 .