Modular supervisory control of event - driven hybrid systems
| Main Author: | |
|---|---|
| Publication Date: | 2004 |
| Other Authors: | |
| Format: | Conference object |
| Language: | eng |
| Source: | Repositório Institucional da Udesc |
| dARK ID: | ark:/33523/0013000005455 |
| Download full: | https://repositorio.udesc.br/handle/UDESC/11251 |
Summary: | Copyright © 2004 IFAC.This contribution addresses the modular synthesis of supervisory controllers for a class of hybrid systems called event-driven hybrid systems. The objective is to synthesize nonblocking supervisors, each to enforce specific tasks given in terms of sequence of threshold events, in such a way that the joint action of these supervisors is nonblocking and optimal. The problem is formulated within the framework of condition/event systems and it is converted into a modular supervisor synthesis problem for discrete-event systems. A condition under which the proposed approach can be applied is given and an example is presented. |
| id |
UDESC-2_9a90d3e1db4a8d015c5084b75d0640e4 |
|---|---|
| oai_identifier_str |
oai:repositorio.udesc.br:UDESC/11251 |
| network_acronym_str |
UDESC-2 |
| network_name_str |
Repositório Institucional da Udesc |
| repository_id_str |
6391 |
| spelling |
Modular supervisory control of event - driven hybrid systemsCopyright © 2004 IFAC.This contribution addresses the modular synthesis of supervisory controllers for a class of hybrid systems called event-driven hybrid systems. The objective is to synthesize nonblocking supervisors, each to enforce specific tasks given in terms of sequence of threshold events, in such a way that the joint action of these supervisors is nonblocking and optimal. The problem is formulated within the framework of condition/event systems and it is converted into a modular supervisor synthesis problem for discrete-event systems. A condition under which the proposed approach can be applied is given and an example is presented.2024-12-07T21:08:47Z2004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectp. 217 - 2222405-8963https://repositorio.udesc.br/handle/UDESC/11251ark:/33523/0013000005455IFAC-PapersOnLine3721Leal, Andre BittencourtCury J.E.R.engreponame:Repositório Institucional da Udescinstname:Universidade do Estado de Santa Catarina (UDESC)instacron:UDESCinfo:eu-repo/semantics/openAccess2025-09-19T19:13:54Zoai:repositorio.udesc.br:UDESC/11251Biblioteca Digital de Teses e Dissertaçõeshttps://pergamumweb.udesc.br/biblioteca/index.phpPRIhttps://repositorio-api.udesc.br/server/oai/requestri@udesc.bropendoar:63912025-09-19T19:13:54Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)false |
| dc.title.none.fl_str_mv |
Modular supervisory control of event - driven hybrid systems |
| title |
Modular supervisory control of event - driven hybrid systems |
| spellingShingle |
Modular supervisory control of event - driven hybrid systems Leal, Andre Bittencourt |
| title_short |
Modular supervisory control of event - driven hybrid systems |
| title_full |
Modular supervisory control of event - driven hybrid systems |
| title_fullStr |
Modular supervisory control of event - driven hybrid systems |
| title_full_unstemmed |
Modular supervisory control of event - driven hybrid systems |
| title_sort |
Modular supervisory control of event - driven hybrid systems |
| author |
Leal, Andre Bittencourt |
| author_facet |
Leal, Andre Bittencourt Cury J.E.R. |
| author_role |
author |
| author2 |
Cury J.E.R. |
| author2_role |
author |
| dc.contributor.author.fl_str_mv |
Leal, Andre Bittencourt Cury J.E.R. |
| description |
Copyright © 2004 IFAC.This contribution addresses the modular synthesis of supervisory controllers for a class of hybrid systems called event-driven hybrid systems. The objective is to synthesize nonblocking supervisors, each to enforce specific tasks given in terms of sequence of threshold events, in such a way that the joint action of these supervisors is nonblocking and optimal. The problem is formulated within the framework of condition/event systems and it is converted into a modular supervisor synthesis problem for discrete-event systems. A condition under which the proposed approach can be applied is given and an example is presented. |
| publishDate |
2004 |
| dc.date.none.fl_str_mv |
2004 2024-12-07T21:08:47Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
2405-8963 https://repositorio.udesc.br/handle/UDESC/11251 |
| dc.identifier.dark.fl_str_mv |
ark:/33523/0013000005455 |
| identifier_str_mv |
2405-8963 ark:/33523/0013000005455 |
| url |
https://repositorio.udesc.br/handle/UDESC/11251 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
IFAC-PapersOnLine 37 21 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
p. 217 - 222 |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Udesc instname:Universidade do Estado de Santa Catarina (UDESC) instacron:UDESC |
| instname_str |
Universidade do Estado de Santa Catarina (UDESC) |
| instacron_str |
UDESC |
| institution |
UDESC |
| reponame_str |
Repositório Institucional da Udesc |
| collection |
Repositório Institucional da Udesc |
| repository.name.fl_str_mv |
Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC) |
| repository.mail.fl_str_mv |
ri@udesc.br |
| _version_ |
1848168334843969536 |