| 1. |
|
|
| 2. |
- Falkman, Petter, 1972, et al.
(författare)
-
Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets
- 2001
-
Ingår i: Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 08-12, 2001. - 2159-6255. - 0780367367 ; 2, s. 1011-1016
-
Konferensbidrag (refereegranskat)abstract
- 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 representation is suitable for verification and synthesis based on symbolic tools such as BDDs.
|
|
| 3. |
|
|
| 4. |
- Lennartson, Bengt, 1956, et al.
(författare)
-
Hybrid Systems in Process Control
- 1996
-
Ingår i: IEEE Control Systems. - : Institute of Electrical and Electronics Engineers (IEEE). - 1066-033X .- 1941-000X. ; 16:5, s. 45-56
-
Tidskriftsartikel (refereegranskat)abstract
- Modeling and control of hybrid systems, with particular emphasis on process control applications, are considered in this article. Based on a number of observations on typical mixed discrete and continuous features for such applications, a fairly general model structure for hybrid systems is proposed.This model structure, which clearly separates the open-loop plant from the closed-loop system, is suitable for analysis and synthesis of hybrid control systems. To illustrate this, three different approaches for control-law synthesis based on continuous and discrete specifications are discussed. In the first one, the hybrid plant model is replaced by a purely discrete event model, related to the continuous specification, and a supervisor is synthesized applying supervisory control theory suggested by Wonham-Ramadge. The other two methods directly utilize the continuous specification for determination of a control event generator, where time-optimal aspects are introduced as an option in the last approach.
|
|
| 5. |
- Lennartson, Bengt, 1956, et al.
(författare)
-
Hybrid Systems in Process Control
- 1994
-
Ingår i: Proc of the 33rd IEEE Conference on Decision and Control, Orlando, Florida. ; , s. 3587-3592
-
Konferensbidrag (refereegranskat)
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
|
|
