Hype: A process algebra for compositional flows and emergent behaviour

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5710 LNCS, Issue , 2009, Pages 305-320

  Galpin, Vashti ^a   Bortolussi, Luca ^b   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; COMPOSITIONAL FLOW; CONTINUOUS VARIABLES; EMERGENT BEHAVIOURS; OPERATIONAL SEMANTICS; PROCESS ALGEBRAS;

DIFFERENTIAL EQUATIONS; HYBRID SYSTEMS;

ALGEBRA;

EID: 70349854915     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04081-8_21     Document Type: Conference Paper

References (22)

1. Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional modeling and renement for hierarchical hybrid systems. Journal of Logic and Algebraic Programming 68(1-2), 105-128 (2006)
2. Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.2602, pp. 57-74. Springer, Heidelberg (2003)
3. Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theoretical Computer Science 335(2-3), 215-280 (2005)
4. Bortolusssi, L., Policriti, A.: Hybrid approximation of stochastic process algebras for systems biology. In: IFAC World Congress, Seoul, South Korea (July 2008)
5. Cuijpers, P., Broenink, J., Mosterman, P.: Constitutive hybrid processes: a processalgebraic semantics for hybrid bond graphs. Simulation 8, 339-358 (2008)
6. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Journal of Logic and Algebraic Programming 62(2), 191-245 (2005)
7. Davoren, J.M., Tabuada, P.: On simulations and bisimulations of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 145-158. Springer, Heidelberg (2007)
8. Deshpande, A., Göllü, A., Varaiya, P.: SHIFT: A formalism and a programming language for dynamic networks of hybrid automata. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1996. LNCS, vol.1273, pp. 113-133. Springer, Heidelberg (1997)
9. Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335-338 (2000)
10. Galpin, V., Hillston, J., Bortolussi, L.: HYPE applied to the modelling of hybrid biological systems. Electronic Notes in Theoretical Computer Science 218, 33-51 (2008)
11. Grosu, R., Stauner, T.: Modular and visual specication of hybrid systems: An introduction to HyCharts. Formal Methods in System Design 21(1), 5-38 (2002)
12. Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science 342(2-3), 229-261 (2005)
13. Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278-292 (1996)
14. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1-2), 110-122 (1997)
15. Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), pp. 33-43. IEEE Computer Society, Los Alamitos (2005)
16. Khadim, U.: A comparative study of process algebras for hybrid systems. Computer Science Report CSR 06-23, Technische Universiteit Eindhoven (2006), http://alexandria.tue.nl/extra1/wskrap/publichtml/200623.pdf
17. La.erriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Mathematics of Control, Signals, and Systems 13(1), 1-21 (2000)
18. Paynter, H.: Analysis and Design of Engineering Systems. MIT Press, Cambridge (1961)
19. Rönkkö, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science 290(1), 937-973 (2003)
20. Rounds, W.C., Song, H.: The ?-calculus: A language for distributed control of recongurable embedded systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 435-449. Springer, Heidelberg (2003)
21. Tun, B., Chen, D.S., Trivedi, K.S.: Comparison of hybrid systems and fluid stochastic Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 11: 77-95; (2001)
22. van Beek, D., Man, K., Reniers, M., Rooda, J., Schi.elers, R.: Syntax and consistent equation semantics of hybrid ?. Journal of Logic and Algebraic Programming 68(1-2), 129-210 (2006)