Hybrid process algebra

Journal of Logic and Algebraic Programming

Volumn 62, Issue 2, 2005, Pages 191-245

  Cuijpers, P J L ^a   Reniers, M A ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Discontinuities; Discrete events; Flows; Hybrid interaction; Hybrid systems; Process algebra

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; COMPUTER SCIENCE; DIFFERENTIAL EQUATIONS; GRAPHIC METHODS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SEMANTICS; SOFTWARE ENGINEERING;

DISCONTINUITIES; DISCRETE EVENTS; FLOWS; HYBRID INTERACTION; HYBRID SYSTEMS; PROCESS ALGEBRA;

BOOLEAN ALGEBRA;

EID: 10044240622     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2004.02.001     Document Type: Article

References (55)

1. P. Mosterman, Hybrid dynamic systems: a hybrid bond graph modeling paradigm and its application in diagnosis, Ph.D. thesis, Vanderbilt University, Nashville, Tennessee, 1997.
2. A. van der Schaft, J. Schumacher, An Introduction to Hybrid Dynamical Systems, in: Lecture Notes in Control and Information Sciences, vol. 251, Springer-Verlag, London, 2000.
3. J. Groote, M. Reniers, Algebraic process verification, in: J. Bergstra, A. Ponse, S. Smolka (Eds.), Handbook of Process Algebra, Elsevier Science, Amsterdam, 2001, pp. 1151-1208 (Chapter 17).
4. V. Bos, J. Kleijn, Formal specification and analysis of industrial systems, Ph.D. thesis, TU/e, Eindhoven, The Netherlands, 2002.
5. V. Bos, J. Kleijn, Redesign of a systems engineering language-formalisation of χ, Formal Aspects of Computing 15 (4) (2003) 370-389.
6. W. Fokkink, J. Groote, M. Hollenberg, B. van Vlijmen, LARIS 1.0: LAnguage for Railway Interlocking Specifications, CWI, Amsterdam, 2000.
7. J. Baeten, W. Weijland, Process Algebra, in: Cambridge Trancts in Theoretical Computer Science, vol. 18, Cambridge University Press, Cambridge, 1990.
8. E. Brinksma, A tutorial on LOTOS, in: M. Diaz (Ed.), Proc. Protocol Specification, Testing and Verification V, Amsterdam, The Netherlands, 1985, pp. 171-194.
9. R. Schiffelers, D. van Beek, K. Man, M. Reniers, J. Rooda, A hybrid language for modeling, simulation and verification, in: Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03), International Federation of Automatic Control (IFAC), Saint-Malo, 2003, pp. 235-240.
10. D. van Beek, N. Jansen, K. Man, M. Reniers, J. Rooda, R. Schiffelers, Relating Chi to hybrid automata, in: S.Chick, P. Sánchez, D. Ferrin, D. Morrice (Eds.), Proceedings Winter Simulation Conference (WSC03), New Orleans, USA, 2003, pp. 632-640.
11. R. Schiffelers, D. van Beek, K. Man, M. Reniers, J. Rooda, Formal semantics of hybrid Chi, in: Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science, Springer-Verlag, in press.
12. J. Vereijken, A process algebra for hybrid systems, in: The Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, 1995.
13. J. Bergstra, C. Middelburg, Process algebra for hybrid systems, Tech. Rep. CSR 03-06, TU/e, Eindhoven, The Netherlands, 2003.
14. H. Jifeng, From CSP to hybrid systems, in: A.W. Roscoe (Ed.), A Classical Mind, Essays in Honour of C.A.R. Hoare, Prentice-Hall International, 1994, pp. 171-189.
15. W. Rounds, H. Song, The φ-calculus: a language for distributed control of reconfigurable embedded systems, in: F. Wiedijk, O. Maler, A. Pnueli (Eds.), Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, Lecture Notes in Computer Science, vol. 2623, Springer-Verlag, 2003, pp. 435-9.
16. T. Henzinger, The theory of hybrid automata, in: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), IEEE Computer Society Press, 1996, pp. 278-292.
17. N. Lynch, R. Segala, F. Vaandrager, Hybrid I/O automata, Information and Computation 185 (1) (2003) 105-157.
18. J. LeBail, H. Alla, R. David, Hybrid Petri nets, in: Proc. of the 1st European Control Conference, ECC'91, Grenoble, France, July, 1991, pp. 1472-1477.
19. H. Alla, R. David, Continuous and hybrid Petri nets, Journal of Circuits, Systems and Computers 8(1) (1998) 159-188.
20. I. Demongodin, N. Koussoulas, Differential Petri nets: A new model for hybrid systems, in: Proc. Advanced Summer Institute '96, 1996, pp. 61-68.
21. I. Demongodin, N. Koussoulas, Differential Petri nets: Representing continuous systems in a discrete-event world, IEEE Transactions on Automatic Control 43 (3) (1998) 573-579.
22. A. Febbraro, A. Giua, G. Menga (Eds.), Special Issue on Hybrid Petri Nets, in: Discrete Event Dynamic Systems, vol. 11, 2001.
23. M. Rönkkö, A. Ravn, K. Sere, Hybrid action systems, Theoretical Computer Science 290 (2003) 937-973.
24. P. Amthor, A CSP model for hybrid automata, in: Third BCS-FACS Northern Formal Methods Workshop (NFMW98), Ilkley, UK, 1998.
25. T. Willemse, Semantics and verification in process algebras with data and timing, Ph.D. thesis, TU/e, Eindhoven, The Netherlands, 2003.
26. J. Groote, J. van Wamel, Analysis of three hybrid systems in timed μCRL, Science of Computer Programming 39 (2001) 215-247.
27. A. van der Schaft, J. Schumacher, Compositionality issues in discrete, continuous, and hybrid systems, Int. J. Robust and Nonlinear Control 11 (2001) 417-434.
28. A. Bemporad, M. Morari, Control of systems integrating logic, dynamics, and constraints, Automatica 35 (3) (1999) 407-427.
29. W. Heemels, B. de Schutter, A. Bemporad, On the equivalence of classes of hybrid dynamical models, in: Proc. 40th IEEE Conference on Decision and Control, IEEE, Orlando, FL, 2001, pp. 364-369.
30. A. van der Schaft, J. Schumacher, Complementarity modeling of hybrid systems, IEEE Transactions on Automatic Control 43 (1998) 483-490.
31. E.D. Sontag, Nonlinear regulation: The piecewise linear approach, IEEE Trans. Autom. Control 26 (1981) 346-358.
32. E. Haghverdi, P. Tabuada, G. Pappas, Bisimulation relations for dynamical and control systems, in: R. Blute, P. Selinger (Eds.), Category Theory and Computer Science (CTCS'02), Electronic Notes in Theoretical Computer Science, vol. 69, Elsevier, 2003.
33. G. Lafferriere, G. Pappas, S. Sastry, O-minimal hybrid systems, Mathematics of Control, Signals, and Systems 13(1) (2000) 1-21.
34. P.-H. Ho, Automatic analysis of hybrid systems, Ph.D. thesis, Cornell University, Ithaca, New York, 1995.
35. R. Alur, T. Henzinger, P.-H. Ho, Automatic symbolic verification of embedded systems, IEEE Transactions on Software Engineering 22 (3) (1996) 181-201.
36. J. Polderman, J. Willems, Introduction to Mathematical Systems Theory: A Behavioural Approach, in: Texts in Applied Mathematics, vol. 26, Springer-Verlag, 1998.
37. R. Dorf, R. Bishop, Modern Control Systems, Series in Electrical and Computer Engineering: Control Engineering, Addison-Wesley, 1995.
38. P. Cuijpers, M. Reniers, W. Heemels, Hybrid transition systems, Tech. Rep. CSR 02-12, TU/e, Eindhoven, The Netherlands, 2002.
39. E. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, in: Texts in Applied Mathematics, vol. 6, Springer-Verlag, 1998.
40. G. Plotkin, A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
41. J. Baeten, C. Verhoef, Concrete process algebra, in: S. Abramsky, D.M. Gabbay, T. Maibaum (Eds.), Semantic Modelling, in: Handbook of Logic in Computer Science, vol. 4, 1995, pp. 149-268.
42. R. Milner, A Calculus of Communicating Systems, in: Lecture Notes in Computer Science, vol. 92, Springer-Verlag, 1980.
43. W. Fokkink, Introduction to Process Algebra, Texts in Theoretical Computer Science, Springer-Verlag, Berlin, 1998.
44. J. Baeten, J. Bergstra, Mode transfer in process algebra, Tech. Rep. CSR 00-01, TU/e, Eindhoven, The Netherlands, 2000.
45. J. Baeten, C. Middelburg, Process Algebra with Timing, Monographs in Theoretical Computer Science, Springer-Verlag, 2002.
46. P. Cuijpers, M. Reniers, Hybrid process algebra, Tech. Rep. CSR 03-07, TU/e, Eindhoven, The Netherlands, 2003.
47. J.-R. Abrial, Steam-boiler control specification problem, in: Dagstuhl Meeting: Methods for Semantics and Specification, 1995.
48. J. Baeten, T. Basten, M. Reniers, Algebra of communicating processes, course notes 2M920: Process Algebra, 2003.
49. J. Bergstra, J. Klop, Verification of an alternating bit protocol by means of process algebra, in: W.B.K. Jantke (Ed.), Mathematical Methods of Specification and Synthesis of Software Systems '85, Lecture Notes in Computer Science, vol. 215, Springer, 1986, pp. 9-23.
50. S. Owicki, D. Gries, An axiomatic proof technique for parallel programs I, Acta Informatica 6 (1976) 319-340.
51. J. Rooda, Simulation of Logistics Elements (Sole), Enschede, The Netherlands, user Manual, 1982.
52. J. Baeten, J. Bergstra, Process algebra with propositional signals, Theoretical Computer Science 177 (1997) 381-405.
53. P. Cuijpers, M. Reniers, Topological (bi-)simulation, Tech. Rep. CSR 02-04, TU/e, Eindhoven, The Netherlands, 2002.
54. M. Ying, Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs, Springer-Verlag, 2001.
55. R. van Glabbeek, The linear time - branching time spectrum I: The semantics of concrete, sequential processes, in: J. Bergstra, A. Ponse, S. Smolka (Eds.), Handbook of Process Algebra, Elsevier Science, Amsterdam, 2001, pp. 3-99 (Chapter 1).