DSpace@Çankaya

Abstraction-Based Control for Not Necessarily Closed Behaviours

Basit öğe kaydını göster

dc.contributor.author Moor, Thomas
dc.contributor.author Schmidt, Klaus Werner
dc.contributor.author Wittmann, Thomas
dc.date.accessioned 2020-05-08T10:57:28Z
dc.date.available 2020-05-08T10:57:28Z
dc.date.issued 2011
dc.identifier.citation Moor, T.; Schmidt, K.; Wittmann, T., "Abstraction-Based Control for Not Necessarily Closed Behaviours", Ifac Proceedings Volumes (Ifac-Papersonline), Vol. 44, No. 1-1, pp. 6988-6993, (2011). tr_TR
dc.identifier.isbn 978-390266193-7
dc.identifier.issn 14746670
dc.identifier.uri http://hdl.handle.net/20.500.12416/3651
dc.description.abstract 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. tr_TR
dc.language.iso eng tr_TR
dc.publisher IFAC Secretariat tr_TR
dc.relation.isversionof 10.3182/20110828-6-IT-1002.00480 tr_TR
dc.rights info:eu-repo/semantics/openAccess tr_TR
dc.subject Abstraction-Based Synthesis tr_TR
dc.subject Discrete Event Systems tr_TR
dc.subject Supervisory Controlω-Languages tr_TR
dc.title Abstraction-Based Control for Not Necessarily Closed Behaviours tr_TR
dc.type conferenceObject tr_TR
dc.relation.journal Ifac Proceedings Volumes (Ifac-Papersonline) tr_TR
dc.identifier.volume 44 tr_TR
dc.identifier.issue 1-1 tr_TR
dc.identifier.startpage 6988 tr_TR
dc.identifier.endpage 6993 tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Elektronik ve Haberleşme Mühendisliği tr_TR


Bu öğenin dosyaları:

Dosyalar Boyut Biçim Göster

Bu öğe ile ilişkili dosya yok.

Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.

Basit öğe kaydını göster