Sökning: onr:"swepub:oai:research.chalmers.se:702a850e-2271-4d10-97e1-90c66627b7f4" >
Modeling and Contro...
Modeling and Controller Synthesis for Resource Booking Problems using BDDs
-
- Falkman, Petter, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Vahidi Mazinani, Arash, 1974 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2002
- 2002
- Engelska.
-
Ingår i: Proceedings of the 15th IFAC World Congress, Barcelona, Spain, 8 July through 12 July 2001. ; 2, s. 1011-1016
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- A modeling framework for general routing and resource booking problems is presented. The task is to specify desired routes for individual objects (products, data packets, vehicles), which are to be served by a number of shared resources (machines, computers, communication links). Based on simple booking models for the resources and routing specifications for the objects, a controller that synchronizes the objects utilization of the available resources is automatically generated. A high level language is presented in order to simplify the specification of desired routes. This modeling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative and synchronization, which are applied in order to model join and split operations. Multiple as well as alternative resources are easily specified utilizing sets of resources. These sets and operators imply a very compact and efficient representation of complex routing specifications. In fact, the representatio n is suitable for verification and synthesis based on symbolic tools such as BDDs.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Resource booking
- Process algebra
- Routing specifications
- Petri nets
- Discrete event systems
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)