×

Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching. (English) Zbl 1235.93153

Summary: Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present and more than one transition may fire simultaneously. The approach of stretching is used to represent the state of the system. Algorithms are presented to design a supervisory controller using the forbidden states approach to enforce boundedness and reversibility simultaneously. The designed controller also guarantees T-liveness for the largest possible subset T of the set of transitions. In particular, boundedness, reversibility, and liveness are simultaneously enforced whenever it is possible. The designed controller is also the least restrictive controller which enforces boundedness and reversibility simultaneously.

MSC:

93C65 Discrete event control/observation systems
93A13 Hierarchical systems

Software:

UMDES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Zhou, M.; DiCesare, F., Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (1993), Kluwer Academic: Kluwer Academic Norwell, MA · Zbl 0849.93002
[2] Proth, J.; Xie, X., Petri Nets: A Tool for Design and Management of Manufacturing Systems (1996), John Wiley & Sons: John Wiley & Sons West Sussex
[3] Bowden, F. D.J., A brief survey and synthesis of the roles of time in Petri nets, Mathematical and Computer Modelling, 31, 55-68 (2000) · Zbl 1042.68613
[4] Wang, J., Timed Petri Nets: Theory and Application (1998), Kluwer Academic: Kluwer Academic Boston, MA · Zbl 0924.68147
[5] Zuberek, W. M., Timed Petri nets in modeling and analysis of cluster tools, IEEE Transactions on Robotics and Automation, 17, 562-575 (2001)
[6] Aybar, A.; İftar, A., Deadlock avoidance controller design for timed Petri nets using stretching, IEEE Systems Journal, 2, 178-188 (2008)
[7] A.R. Wang, Z.W. Li, J.Y. Jia, A Petri nets based deadlock avoidance policy for flexible manufacturing systems, in: Proceedings of the 30th Annual Conference of the IEEE Industrial Electronics Society, Busan, Korea, 2004, pp. 1896-1901.; A.R. Wang, Z.W. Li, J.Y. Jia, A Petri nets based deadlock avoidance policy for flexible manufacturing systems, in: Proceedings of the 30th Annual Conference of the IEEE Industrial Electronics Society, Busan, Korea, 2004, pp. 1896-1901.
[8] Sreenivas, R. S., On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets, IEEE Transactions on Automatic Control, 42, 928-945 (1997) · Zbl 0887.93002
[9] Iordache, M. V.; Antsaklis, P. J., Design of \(T\)-liveness enforcing supervisors in Petri nets, IEEE Transactions on Automatic Control, 48, 1962-1974 (2003) · Zbl 1364.93468
[10] G. Gardey, O.F. Roux, O.H. Roux, Safety control synthesis for time Petri nets, in: Proc. of the 8th International Workshop on Discrete Event Systems, Michigan, USA, 2006, pp. 222-228.; G. Gardey, O.F. Roux, O.H. Roux, Safety control synthesis for time Petri nets, in: Proc. of the 8th International Workshop on Discrete Event Systems, Michigan, USA, 2006, pp. 222-228.
[11] Koutsoukos, X. D.; Antsaklis, P. J., Hybrid control systems using timed Petri nets: supervisory control design based on invariant properties, (Hybrid Systems V. Hybrid Systems V, Lecture Notes in Computer Science (1999)), 142-162 · Zbl 0961.93503
[12] Giua, A.; Seatzu, C.; Basile, F., Observer based state feedback control of timed Petri nets with deadlock recovery, IEEE Transactions on Automatic Control, 49, 17-29 (2004) · Zbl 1365.68341
[13] Y. Huang, T. Chung, J. Lin, A timed coloured petri nets supervisor for urban traffic networks, in: Proc. of the IMACS Multiconference on Computational Engineering in System Applications, Beijing, China, 2006, pp. 2151-2156.; Y. Huang, T. Chung, J. Lin, A timed coloured petri nets supervisor for urban traffic networks, in: Proc. of the IMACS Multiconference on Computational Engineering in System Applications, Beijing, China, 2006, pp. 2151-2156.
[14] Alur, R.; Dill, D. L., A theory of timed automata, Theoretical Computer Science, 126, 183-235 (1994) · Zbl 0803.68071
[15] Bradin, B. A.; Wonham, W. M., Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, 39, 329-342 (1994) · Zbl 0801.93002
[16] Lin, F.; Wonham, W. M., Supervisory control of timed discrete-event systems under partial observation, IEEE Transactions on Automatic Control, 40, 558-562 (1995) · Zbl 0821.93002
[17] A. Gouin, J. Ferrier, Temporal coherence of timed automata product, in: Proc. of the 1999 IEEE International Conference on Systems, Man, and Cybernetics, 1999, pp. 176-181.; A. Gouin, J. Ferrier, Temporal coherence of timed automata product, in: Proc. of the 1999 IEEE International Conference on Systems, Man, and Cybernetics, 1999, pp. 176-181.
[18] Khoumsi, A., A supervisory control method for ensuring the comformance of real-time discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, 15, 397-431 (2005) · Zbl 1101.93049
[19] Aybar, A., Decentralized controller design for forbidden states avoidance in timed discrete event systems, International Journal of Computers, Communications and Control, 5, 4, 547-557 (2010)
[20] P. Darondeau, Distributed implementations of Ramadge-Wonham supervisory control with Petri nets, in: Proceedings of the IEEE Conference on Decision and Control, Seville, Spain, 2005, pp. 2107-2112.; P. Darondeau, Distributed implementations of Ramadge-Wonham supervisory control with Petri nets, in: Proceedings of the IEEE Conference on Decision and Control, Seville, Spain, 2005, pp. 2107-2112.
[21] A. Aybar, A. İftar, Supervisory controller design for timed Petri nets, in: Proceedings of the IEEE International Conference on System of Systems Engineering, Los Angeles, CA, USA, 2006, pp. 59-64.; A. Aybar, A. İftar, Supervisory controller design for timed Petri nets, in: Proceedings of the IEEE International Conference on System of Systems Engineering, Los Angeles, CA, USA, 2006, pp. 59-64.
[22] A. Aybar, A. İftar, Controller design to enforce boundedness, liveness, and reversibility in Petri nets, in: Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 2003, pp. 199-204.; A. Aybar, A. İftar, Controller design to enforce boundedness, liveness, and reversibility in Petri nets, in: Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 2003, pp. 199-204.
[23] Aybar, A.; İftar, A.; Apaydın-Özkan, H., Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets, International Journal of Control, 78, 537-553 (2005) · Zbl 1085.93016
[24] Cassandras, C. G.; Lafortune, S., Introduction to Discrete Event Systems (1999), Kluwer Academic: Kluwer Academic Norwell, MA · Zbl 0934.93001
[25] A. Aybar, A. İftar, Representation of the state of timed-place Petri nets using stretching, in: Proceedings of the 4th IFAC Workshop on Discrete-Event System Design, Playa de Gandia, Spain, 2009, pp. 79-84.; A. Aybar, A. İftar, Representation of the state of timed-place Petri nets using stretching, in: Proceedings of the 4th IFAC Workshop on Discrete-Event System Design, Playa de Gandia, Spain, 2009, pp. 79-84.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.