Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

Baeten, 2002, Process Algebra with Timing, 10.1007/978-3-662-04995-2 Beek, D.A. v., A. v. d. Ham and J.E. Rooda, Modelling and control of process industry batch production systems, in: E. Camacho, L. Basanez and J. de la Puente, editors, 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, 2002, CD-ROM Beek, D.A. v., K. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers, Deriving simulators for hybrid Chi models, in: IEEE International Symposium on Computer-Aided Control Systems Design (2006), pp. 42–49 Beek, D.A. v., K. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers, Formal verification of hybrid Chi models using PHAVer, in: Proceedings of the conference on Mathematical Modelling 2006, Vienna, Austria, 2006 v. Beek, 2006, Syntax and consistent equation semantics of hybrid Chi, Journal of Logic and Algebraic Programming, 68, 129, 10.1016/j.jlap.2005.10.005 Beek, D.A. v., R.R.H. Schiffelers, M. Kvasnica and M.A.P. Remelhe, Specification of the simulation interface, Technical Report D 3.4.1, HYCON NoE (2005) Bortnik, 2005, Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal, Journal of Logic and Algebraic Programming, 65, 51, 10.1016/j.jlap.2005.05.001 Bos, 2000, Automatic verification of a manufacturing system, Robotics and Computer Integrated Manufacturing, 17, 185, 10.1016/S0736-5845(00)00027-2 Bos, V. and J.J.T. Kleijn, “Formal Specification and Analysis of Industrial Systems,” Ph.D. thesis, Eindhoven University of Technology (2002) v. d. Brand, 2006, Linearization of hybrid processes, Journal of Logic and Algebraic Programming, 68, 54, 10.1016/j.jlap.2005.10.003 Fernandez, 1996, CADP: a protocol validation and verification toolbox, 1102, 437 Frehse, 2005, PHAVer: Algorithmic verification of hybrid systems past HyTech, 3414, 258 Groote, 2001, Algebraic process verification, 1151 Henzinger, 1995, A user guide to HyTech, 1019, 41 Hofkamp, A.T., “Reactive machine control, a simulation approach using χ,” Ph.D. thesis, Eindhoven University of Technology (2001) Holzmann, 2003 Khadim, U., D.A. v. Beek and P. Cuijpers, Linearization of hybrid chi using program counters, Technical Report CS-Report 07-18, Eindhoven University of Technology, Department of Computer Science, The Netherlands (2007) Kleijn, 2003, Analysis of an industrial system, Formal Methods in System Design, 22, 249, 10.1023/A:1022901312673 Larsen, 1997, Uppaal in a Nutshell, International Journal on Software Tools for Technology Transfer, 1, 134, 10.1007/s100090050010 Man, K.L. and R.R.H. Schiffelers, “Formal Specification and Analysis of Hybrid Systems,” Ph.D. thesis, Eindhoven University of Technology (2006) Nicollin, 1994, The algebra of timed processes, ATP: Theory and application, Information and Computation, 114, 131, 10.1006/inco.1994.1083 The MathWorks, Inc Theunissen, R., “Process algebraic linearization of hybrid Chi,” Master's thesis, Eindhoven University of Technology (2006) Usenko, Y.S., “Linearization in μCRL,” Ph.D. thesis, Eindhoven University of Technology (2002)