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.accessioned2023-05-25
dc.date.available2023-10-16T20:40:12Z
dc.date.created2020
dc.date.issued2023-05-25
dc.description.abstractAbstract A 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.format.extent27
dc.identifier.citationDiscrete Event Dynamic Systems 30.3 (2020): S. 533-560. <https://link.springer.com/article/10.1007/s10626-020-00315-z>
dc.identifier.doihttps://doi.org/10.1007/s10626-020-00315-z
dc.identifier.issn0924-6703
dc.identifier.issn1573-7594
dc.identifier.opus-id23048
dc.identifier.urihttps://open.fau.de/handle/openfau/23048
dc.identifier.urnurn:nbn:de:bvb:29-opus4-230486
dc.language.isoen
dc.publisherSpringer US
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/deed.de
dc.subjectHybrid systems
dc.subjectBehavioural abstractions
dc.subjectl-complete approximations
dc.subjectLocal refinement
dc.subjectSupervisory control
dc.subject.ddcDDC Classification::6 Technik, Medizin, angewandte Wissenschaften :: 60 Technik :: 600 Technik, Technologie
dc.titleRefinements of behavioural abstractions for the supervisory control of hybrid systemsen
dc.typearticle
dcterms.publisherFriedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
local.date.prevpublished2020-09-01
local.document.pageend560
local.document.pagestart533
local.journal.issue3
local.journal.titleDiscrete Event Dynamic Systems
local.journal.volume30
local.sendToDnbfree*
local.subject.fakultaetTechnische Fakultät
local.subject.importimport
local.subject.sammlungUniversität Erlangen-Nürnberg / Eingespielte Open Access Artikel / Eingespielte Open Access Artikel 2023
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
23048_s10626-020-00315-z.pdf
Size:
1.44 MB
Format:
Adobe Portable Document Format
Description: