Refinements of behavioural abstractions for the supervisory control of hybrid systems
| dc.contributor.author | Yang, Jung-Min | |
| dc.contributor.author | Moor, Thomas | |
| dc.contributor.author | Raisch, Jörg | |
| dc.date.accessioned | 2021-03-18T08:49:07Z | |
| dc.date.available | 2021-03-18T08:49:07Z | |
| dc.date.issued | 2020-04-22 | |
| dc.description.abstract | 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.description.sponsorship | TU Berlin, Open-Access-Mittel – 2020 | en |
| dc.identifier.eissn | 1573-7594 | |
| dc.identifier.issn | 0924-6703 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/12857 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-11657 | |
| dc.language.iso | en | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.subject.ddc | 510 Mathematik | en |
| dc.subject.other | behavioural abstractions | en |
| dc.subject.other | hybrid systems | en |
| dc.subject.other | l-complete approximations | en |
| dc.subject.other | local refinement | en |
| dc.subject.other | supervisory control | en |
| dc.title | Refinements of behavioural abstractions for the supervisory control of hybrid systems | en |
| dc.type | Article | en |
| dc.type.version | publishedVersion | en |
| dcterms.bibliographicCitation.doi | 10.1007/s10626-020-00315-z | en |
| dcterms.bibliographicCitation.issue | 3 | en |
| dcterms.bibliographicCitation.journaltitle | Discrete Event Dynamic Systems | en |
| dcterms.bibliographicCitation.originalpublishername | SpringerNature | en |
| dcterms.bibliographicCitation.originalpublisherplace | London [u.a.] | en |
| dcterms.bibliographicCitation.pageend | 560 | en |
| dcterms.bibliographicCitation.pagestart | 533 | en |
| dcterms.bibliographicCitation.volume | 30 | en |
| tub.accessrights.dnb | free | en |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik>Inst. Energie- und Automatisierungstechnik>FG Regelungssysteme | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.group | FG Regelungssysteme | de |
| tub.affiliation.institute | Inst. Energie- und Automatisierungstechnik | de |
| tub.publisher.universityorinstitution | Technische Universität Berlin | en |
Files
Original bundle
1 - 1 of 1
Loading…
- Name:
- Yang_etal_Refinements_2020.pdf
- Size:
- 1.44 MB
- Format:
- Adobe Portable Document Format
- Description: