Abstraction-Based Control for Not Necessarily Closed Behaviours
| dc.contributor.author | Moor, T. | |
| dc.contributor.author | Schmidt, K. | |
| dc.contributor.author | Wittmann, T. | |
| dc.contributor.other | 06.08. Mekatronik Mühendisliği | |
| dc.contributor.other | 06. Mühendislik Fakültesi | |
| dc.contributor.other | 01. Çankaya Üniversitesi | |
| dc.date.accessioned | 2020-05-08T10:57:28Z | |
| dc.date.accessioned | 2025-09-18T12:10:21Z | |
| dc.date.available | 2020-05-08T10:57:28Z | |
| dc.date.available | 2025-09-18T12:10:21Z | |
| dc.date.issued | 2011 | |
| 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. © 2011 IFAC. | en_US |
| 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). | en_US |
| dc.identifier.doi | 10.3182/20110828-6-IT-1002.00480 | |
| dc.identifier.isbn | 9783902661937 | |
| dc.identifier.issn | 1474-6670 | |
| dc.identifier.scopus | 2-s2.0-84866762067 | |
| dc.identifier.uri | https://doi.org/10.3182/20110828-6-IT-1002.00480 | |
| dc.identifier.uri | https://hdl.handle.net/123456789/11694 | |
| dc.language.iso | en | en_US |
| dc.publisher | IFAC Secretariat | en_US |
| dc.relation.ispartof | IFAC Proceedings Volumes (IFAC-PapersOnline) | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Abstraction-Based Synthesis | en_US |
| dc.subject | Discrete Event Systems | en_US |
| dc.subject | Supervisory Control | en_US |
| dc.subject | Ω-Languages | en_US |
| dc.title | Abstraction-Based Control for Not Necessarily Closed Behaviours | en_US |
| dc.title | Abstraction-Based Control for Not Necessarily Closed Behaviours | tr_TR |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Schmıdt, Klaus Werner | |
| gdc.author.scopusid | 22433346900 | |
| gdc.author.scopusid | 55464613900 | |
| gdc.author.scopusid | 55367776800 | |
| gdc.description.department | Çankaya University | en_US |
| gdc.description.departmenttemp | Moor T., Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, Germany; Schmidt K., Department of Electronic and Communication Engineering, Çankaya University, Ankara, Turkey; Wittmann T., Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, Germany | en_US |
| gdc.description.endpage | 6993 | en_US |
| gdc.description.issue | 1 PART 1 | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.startpage | 6988 | en_US |
| gdc.description.volume | 44 | en_US |
| gdc.identifier.openalex | W1965446141 | |
| gdc.openalex.fwci | 1.27712802 | |
| gdc.openalex.normalizedpercentile | 0.79 | |
| gdc.opencitations.count | 5 | |
| gdc.plumx.crossrefcites | 5 | |
| gdc.plumx.mendeley | 14 | |
| gdc.plumx.scopuscites | 7 | |
| gdc.scopus.citedcount | 7 | |
| relation.isAuthorOfPublication | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isAuthorOfPublication.latestForDiscovery | ec56c293-1f64-49af-b5ae-5ae41cb32f1b | |
| relation.isOrgUnitOfPublication | 5b0b2c59-0735-4593-b820-ff3847d58827 | |
| relation.isOrgUnitOfPublication | 43797d4e-4177-4b74-bd9b-38623b8aeefa | |
| relation.isOrgUnitOfPublication | 0b9123e4-4136-493b-9ffd-be856af2cdb1 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 5b0b2c59-0735-4593-b820-ff3847d58827 |