J.J.M.M. Rutten  Home/Search
Context Related
| umich.edu/~klavins/hsrg/SENR9921.ps 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: umich.edu/~klavins/hsrg/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Coalgebra is used to generalize notions and techniques from concurrency theory, in order to apply them to problems concerning the supervisory control of discrete event systems. The main ingredients of this approach are the characterization of controllability in terms of (a variant of) the notion of bisimulation, and the observation that the family of (partial) languages carries a final coalgebra structure. This allows for a pervasive use of coinductive definition and proof principles, leading... (Update)
Context of citations to this paper: More
...Discrete event systems are often represented by automata viewed as a particular algebraic structure. However, it has been shown in [5] that they can be also viewed as deterministic partial automata (automata with partial transition function) These are coalgebras of a...
Cited by: More
Coalgebra and Supervisory Control with Partial Observations - Komenda (Correct)
Active bibliography (related documents): More All
0.9: Behavioural Differential Equations: A Coinductive Calculus of.. - Rutten (2000) (Correct)
0.7: An Application Of Coinductive Stream Calculus To Signal Flow Graphs - Rutten (2003) (Correct)
0.7: Automata and Coinduction (an exercise in coalgebra) - Rutten (1998) (Correct)
Similar documents based on text: More All
1.0: Elements of Stream Calculus (an Extensive Exercise in Coinduction) - Rutten (Correct)
0.4: Universal Coalgebra: a Theory of Systems - Rutten (1996) (Correct)
0.4: A Calculus of Transition Systems (towards Universal Coalgebra) - Rutten (1995) (Correct)
BibTeX entry: (Update)
J.J.M.M. Rutten , "Coalgebra, Concurrency, and Control, " Research Report CWI, SEN-R9921, Amsterdam, 1999. http://citeseer.ist.psu.edu/rutten99coalgebra.html More
@techreport{ rutten99coalgebra,
author = "J. J. M. M. Rutten",
title = "Coalgebra, concurrency, and control",
number = "SEN-R9921",
month = "30,",
year = "1999",
url = "citeseer.ist.psu.edu/rutten99coalgebra.html" }
Citations (may not include all citations):502 Concurrency and automata on infinite sequences (context) - Park - 1981
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
308 The control of discrete event systems (context) - Ramadge, Wonham - 1989
97 the supremal controllable sublanguage of a given language (context) - Wonham, Ramadge - 1987
97 Chapman and Hall (context) - Conway, finite - 1971
91 A final coalgebra theorem (context) - Aczel, Mendler - 1989
73 Prentice Hall International Series in Computer Science (context) - Milner, Concurrency - 1989
70 Introduction to discrete event systems (context) - Cassandra, Lafortune - 1999
66 Derivatives of regular expressions (context) - Brzozowski - 1964
52 Algebraic approaches to program semantics (context) - Manes, Arbib - 1986
41 Center for the Study of Languages and Information (context) - Aczel, Number et al. - 1988
23 Notes on control of discrete-event systems (context) - Wonham - 1999
17 Foundations of Computing Series (context) - de Bakker, de Vink et al. - 1996
13 Comparative semantics for flow of control in logic programmi.. (context) - de Bakker - 1991
6 cient algorithm for bisimulation equivalence (context) - Fernandez, of - 1990
6 Available at URL: www (context) - Jacobs, Rutten et al. - 1997
5 To appear in Theoretical Computer Science (context) - Rutten, of et al. - 1996
4 Foundations of system theory: decomposable systems (context) - Arbib, Manes - 1974
4 the supervisory control problem and strong model matching fo.. (context) - Barrett, Lafortune - 1998
4 and coinduction: taking input derivatives seriously (context) - Rutten, power - 1999
4 Available at URL: www (context) - Rutten, coinduction et al. - 1998
2 Terminal metric spaces of finitely branching and image finit.. - van Breugel - 1998
Documents on the same site (http://www.eecs.umich.edu/~klavins/hsrg/): More
Modeling And Control Of Hybrid Systems: A Survey - Labinaz, Bayoumi, Rudie (1996) (Correct)
When Scott is Weak on the Top - Edalat (1996) (Correct)
The Polyadic pi-Calculus: a Tutorial - Milner (1991) (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