Refinements of behavioural abstractions for the supervisory control of hybrid systems

dc.contributor.authorYang, Jung-Min
dc.contributor.authorMoor, Thomas
dc.contributor.authorRaisch, Jörg
dc.date.accessioned2021-03-18T08:49:07Z
dc.date.available2021-03-18T08:49:07Z
dc.date.issued2020-04-22
dc.description.abstractA common approach to controller synthesis for hybrid systems is to first establish a discrete-event abstraction and then to use methods from supervisory control theory to synthesise a controller. In this paper, we consider behavioural abstractions of hybrid systems with a prescribed discrete-event input/output interface. We discuss a family of abstractions based on so called experiments which consist of samples from the external behaviour of the hybrid system. The special feature of our setting is that the accuracy of the abstraction can be carefully adapted to suit the particular control problem at hand. Technically, this is implemented as an iteration in which we alternate trial control synthesis with abstraction refinement. While localising refinement to where it is intuitively needed, we can still formally establish that the overall iteration will solve the control problem, provided that an abstraction-based solution exists at all.en
dc.description.sponsorshipTU Berlin, Open-Access-Mittel – 2020en
dc.identifier.eissn1573-7594
dc.identifier.issn0924-6703
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/12857
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-11657
dc.language.isoen
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subject.ddc510 Mathematiken
dc.subject.otherbehavioural abstractionsen
dc.subject.otherhybrid systemsen
dc.subject.otherl-complete approximationsen
dc.subject.otherlocal refinementen
dc.subject.othersupervisory controlen
dc.titleRefinements of behavioural abstractions for the supervisory control of hybrid systemsen
dc.typeArticleen
dc.type.versionpublishedVersionen
dcterms.bibliographicCitation.doi10.1007/s10626-020-00315-zen
dcterms.bibliographicCitation.issue3en
dcterms.bibliographicCitation.journaltitleDiscrete Event Dynamic Systemsen
dcterms.bibliographicCitation.originalpublishernameSpringerNatureen
dcterms.bibliographicCitation.originalpublisherplaceLondon [u.a.]en
dcterms.bibliographicCitation.pageend560en
dcterms.bibliographicCitation.pagestart533en
dcterms.bibliographicCitation.volume30en
tub.accessrights.dnbfreeen
tub.affiliationFak. 4 Elektrotechnik und Informatik>Inst. Energie- und Automatisierungstechnik>FG Regelungssystemede
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.affiliation.groupFG Regelungssystemede
tub.affiliation.instituteInst. Energie- und Automatisierungstechnikde
tub.publisher.universityorinstitutionTechnische Universität Berlinen
Files
Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
Yang_etal_Refinements_2020.pdf
Size:
1.44 MB
Format:
Adobe Portable Document Format
Description:
Collections