Elektronik ve Haberleşme Mühendisliği Bölümü Yayın Koleksiyonu
Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/260
Browse
2 results
Search Results
Conference Object Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness(IFAC Secretariat, 2010) Cury, J.E.R.; Schmidt, K.; De Queiroz, M.H.This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a given projection an algorithm is proposed to find an extension of the set of events to be projected, in order to fulfill the sufficient conditions for SNB and maximally permissive hierarchical control.Conference Object Citation - Scopus: 7Abstraction-Based Control for Not Necessarily Closed Behaviours(IFAC Secretariat, 2011) Moor, T.; Schmidt, K.; Wittmann, T.This paper addresses abstraction-based supervisory control for plant and specification behaviours that are not necessarily ω-closed, i.e. plant behaviours that exhibit eventuality properties and specifications that impose eventuality properties on the closed loop. Technically, the core idea is to combine results from previous work on abstraction-based supervision of input-output behaviours with results on supervisory control of ω-languages. As our main result, we identify a controllability condition for the plant, that ensures a nonblocking closed-loop behaviour with a controller that has been obtained for a plant abstraction. © 2011 IFAC.