Combined siphon and marking generation for deadlock prevention in Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Efficient deadlock prevention in Petri nets through the generation of selected siphons
ACC'09 Proceedings of the 2009 conference on American Control Conference
A modular system approach to DES synthesis and control
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
Cooperation of agents in manufacturing systems
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Cooperation of agents based on methods of DES supervising and control
Transactions on computational collective intelligence III
Cooperation of hybrid agents in models of manufacturing systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Modelling of agents cooperation and negotiation
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Supervision of agents modelling evacuation at crisis situations
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Hi-index | 0.00 |
This dissertation proposes new methodologies for the supervisory control of concurrent systems. The focus of this work is on discrete-event concurrent systems. However, the extension of the discrete-event methods to concurrent systems with continuous dynamics is also approached. Petri nets are a convenient discrete-event representation of concurrent systems, and are used here for the modeling of concurrent systems. Several discrete-event supervisory control problems are approached here. First, the enforcement of specifications described as linear inequalities in terms of three Petri net parameters is considered. Then, the decentralized supervisory control problem is considered for specifications described by linear marking inequalities. The decentralized supervision problem is approached in three settings: no communication, unrestricted communication, and restricted communication. Finally, procedures for deadlock prevention and liveness enforcement are presented. Additionally, new results relating deadlock and liveness to the structure of a Petri net are also presented. The main feature of the supervision methods proposed in this dissertation is that they rely on the structure of the Petri net. This structural approach has computational benefits and allows the supervisor design to be independent of the initial state of the system. The methods are given in a general supervision setting, which makes no assumptions on the structure of the Petri nets and allows partial controllability and partial observability to be present. This dissertation addresses also the supervisory control problem in the more general framework of hybrid systems, that is, systems involving both discrete-event and continuous dynamics. A two-level approach is proposed. The lower level design is concerned with the development of controllers for the continuous part of the hybrid systems. The higher level design is concerned with the design of a supervisor coordinating the operation of the lower level controllers, according to given discrete-event specifications. At the higher methodologies can then be applied to design the appropriate supervisor. The discrete-event setting here is extended to model some of the hard constraints arising in the supervision of hybrid systems. Extensions of discrete-event methods to this setting are also approached. Finally, the controller design at the lower level is considered in a discrete-time setting. The controller level. This dissertation aims to contribute to the automated design of controllers for complex systems. This work is believed to be relevant for applications in a variety of areas, including automated manufacturing, robotics, computer networks, and traffic control.