Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design

6 Compositional specification of a forest landscape model using CPDPs 34 6.

[1]  Arjan van der Schaft,et al.  Communicating Piecewise Deterministic Markov Processes , 2003, ADHS.

[2]  Jan C. Willems,et al.  Introduction to Mathematical Systems Theory. A Behavioral , 2002 .

[3]  M. Monticino,et al.  Cell Interaction in Semi-Markov Forest Landscape Models , 2002 .

[4]  Pierre-Etienne Labeau,et al.  Dynamic reliability: towards an integrated platform for probabilistic risk assessment , 2000, Reliab. Eng. Syst. Saf..

[5]  J. Willems.  On interconnections, control, and feedback , 1997, IEEE Trans. Autom. Control..

[6]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[7]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[8]  van der Arjan Schaft,et al.  CPDP: A compositional framework for stochastic hybrid systems of the PDP type , 2003 .

[9]  Arjan van der Schaft,et al.  Achievable behavior of general systems , 2003, Syst. Control. Lett..

[10]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[11]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[12]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[13]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[14]  Mark H. Davis.  Markov Models and Optimization , 1995 .

[15]  P. Antsaklis,et al.  Design of stabilizing switching control laws for discrete- and continuous-time linear systems using piecewise-linear Lyapunov functions , 2002 .

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

[17]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[18]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[19]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[20]  M. Branicky.  Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[21]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[22]  Luigi Logrippo,et al.  An Introduction to LOTOS: Learning by Examples , 1992, Comput. Networks ISDN Syst..

[23]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[24]  Peter J. Haas,et al.  Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .

[25]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[26]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[27]  Daniel Liberzon,et al.  Lie-Algebraic Stability Criteria for Switched Systems , 2001, SIAM J. Control. Optim..

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

[29]  Ekkart Kindler,et al.  A Compositional Partial Order Semantics for Petri Net Components , 1997, ICATPN.

[30]  J. M. Schumacher,et al.  Compositionality issues in discrete, continuous, and hybrid systems , 2001 .

[31]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[32]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[33]  Alberto José Proença,et al.  VHDL generation from hierarchical Petri net specifications of parallel controllers , 1997 .

[34]  Erik Hollnagel,et al.  Human Reliability Analysis: Context and Control , 1994 .

[35]  Henk A. P. Blom,et al.  Multi-agent situation awareness error evolution in accident risk modelling , 2003 .

[36]  Henk A. P. Blom,et al.  Piecewise deterministic Markov processes represented by dynamically coloured Petri nets , 2005 .

[37]  J.A. Ferreira,et al.  Modelling hybrid systems using statecharts and Modelica , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[38]  Arjan van der Schaft,et al.  Bisimulation of Dynamical Systems , 2004, HSCC.

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

[40]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 1997 .

[41]  M. K. Ghosh,et al.  Ergodic Control of Switching Diffusions , 1997 .

[42]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[43]  Mark H. A. Davis.  Piecewise-deterministic Markov processes , 1993 .

[44]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[45]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[46]  Harry L. Trentelman,et al.  Stabilization, pole placement, and regular implementability , 2002, IEEE Trans. Autom. Control..

[47]  K. V. S. Prasad.  A Calculus of Broadcasting Systems , 1991, Sci. Comput. Program..

[48]  Arjan van der Schaft,et al.  Control of Hybrid Behavioral Automata by Interconnection , 2003, ADHS.

[49]  Henk A. P. Blom,et al.  Human cognition performance model to evaluate safe spacing in air traffic , 2002 .

[50]  S. Strubbe,et al.  Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[51]  Pedro R. D'Argenio,et al.  Algebras and Automata for Timed and Stochastic Systems , 1999 .

[52]  Henk A. P. Blom,et al.  ACCIDENT RISK ASSESSMENT OF SIMULTANEOUS CONVERGING INSTRUMENT APPROACHES , 2003 .

[53]  Gregor von Bochmann,et al.  On the Construction of Submodule Specifications and Communication Protocols , 1983, TOPL.

[54]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[55]  Michael W. Shields.  Hybrid Transition Systems , 1997 .

[56]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[57]  S. Pettersson,et al.  Stability and robustness for hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[58]  Harry L. Trentelman,et al.  H∞ control in a behavioral context: the full information case , 1999, IEEE Trans. Autom. Control..

[59]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[60]  A.J. van der Schaft,et al.  Achievable behavior by composition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..