Tim A.C. Willemse  Home/Search
Context Related
| win.tue.nl/~timw/resea...CSR9910.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: win.tue.nl/~timw/research/art (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A Conveyor belt system, together with its safety and efficiency objectives is described and studied in the setting of timed µCRL [9]). First, various safety requirements, dealing with the safe transportation of trays from the front end to the back end of the belt, and the speed of the belt are stated. Subsequently, a specification in timed µCRL is given for such a system. This specification is the subject of further calculations and analysis. Using various techniques and theorems, devised... (Update)
Similar documents based on text: More All
1.8: A Process Algebraic Approach to Hybrid Systems (Extended Abstract) - Willemse (Correct)
0.6: Analysis of Three Hybrid Systems in Time μCRL - Groote, van Wamel (1998) (Correct)
0.6: Control for a Class of Hybrid Systems - van Schuppen (1997) (Correct)
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/willemse99analysis.html More
@misc{ willemse99analysis,
author = "T. Willemse",
title = "The analysis of a conveyor belt system: a case study in hybrid systems
and timed $\mu$CRL",
text = "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.",
year = "1999",
url = "citeseer.ist.psu.edu/willemse99analysis.html" }
Citations (may not include all citations):447 Prentice Hall International (context) - Milner, Concurrency - 1989
268 A theory of timed automata - Alur, Dill - 1994
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
211 HyTech: A model checker for hybrid systems - Henzinger, Ho et al. - 1997
160 The theory of hybrid automata - Henzinger - 1996
67 The syntax and semantics of CRL - Groote, Ponse - 1994
53 A Formal Description Technique Based on the Temporal Orderin.. (context) - IEC - 1988
32 A game theoretic approach to hybrid system design - Lygeros, Godbole et al. - 1996
19 Technical Report SEN-R (context) - Groote, semantics et al. - 1997
11 Frits Vaandrager (context) - Lynch, Segala - 1996
8 Analysis of three hybrid systems in timed CRL (context) - Groote, van Wamel - 1998
4 A uni ed framework for hybrid control: Model and optimal con.. (context) - Branicky, Borkar et al. - 1998
3 The steam-boiler control speci cation problem (context) - Abrial - 1996
3 Basic theorems for parallel processes in timed CRL - Groote, van Wamel - 1998
2 University of Nijmegen (context) - Lynch, Segala et al. - 1999
[Article contains additional citations not shown here]
Documents on the same site (http://www.win.tue.nl/~timw/research/art.html): More
Language-Driven System Design - Mauw, Wiersma, Willemse (2002) (Correct)
The Specification and Validation of the OM/RR-Protocol - Willemse (Correct)
e Nederlandse Testdag - Preface Held On (2001) (Correct)
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