T.A.C. Willemse. The analysis of a conveyor belt system: a case study in hybrid systems and timed CRL. Computer Science Reports CSR 99-10, Eindhoven University of Technology, 1999.  Home/Search   Document Details and Download   Summary   Related Articles

....systems are safety critical systems, i.e. the incorrect functioning of the system can have severe consequences. Being able to model and analyse such systems prior to their implementation is vital. Using the process algebra CRL t a case study on a conveyor belt system has been conducted (see [12]) The great complexity allowed for a thorough identi cation of gaps in the formalism for applications in the area of hybrid systems. The models in this paper are slightly simpli ed versions of the models in [12] Keywords Process Algebra, Hybrid Systems, embedded systems I. Introduction ....

....algebra CRL t a case study on a conveyor belt system has been conducted (see [12] The great complexity allowed for a thorough identi cation of gaps in the formalism for applications in the area of hybrid systems. The models in this paper are slightly simpli ed versions of the models in [12]. Keywords Process Algebra, Hybrid Systems, embedded systems I. Introduction Hybrid systems are systems in which the essence of the system cannot be captured by describing merely the continuous components or the discrete components; the combination of both is essential for a correct ....

[Article contains additional citation context not shown here]

T.A.C. Willemse. The analysis of a conveyor belt system: a case study in hybrid systems and timed CRL. Computer Science Reports CSR 99-10, Eindhoven University of Technology, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC