Strong controlled-invariance of behavioural nD systems
| Main Author: | |
|---|---|
| Publication Date: | 2017 |
| Other Authors: | |
| Format: | Article |
| Language: | eng |
| Source: | Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| Download full: | https://hdl.handle.net/10216/110085 |
Summary: | In this paper, we give a stronger version of the notion of behavioural controlled-invariance introduced in a previous paperin the context of regular partial interconnections. In such interconnections, the variables are divided into two sets: the variables to-be-controlled and the variables on which it is allowed to enforce restrictions (control variables); moreover, regularity means that the restrictions of the controller do not overlap with the ones already implied by the laws of the original behaviour. A complete characterisation of strong controlled-invariance for nD behaviours is derived making use of a special controller behaviour known as the canonical controller. (c) 2017 Informa UK Limited, trading as Taylor & Francis Group |
| id |
RCAP_d6ab4a7d750480ade6ed96f6f0a24dcc |
|---|---|
| oai_identifier_str |
oai:repositorio-aberto.up.pt:10216/110085 |
| network_acronym_str |
RCAP |
| network_name_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository_id_str |
https://opendoar.ac.uk/repository/7160 |
| spelling |
Strong controlled-invariance of behavioural nD systemsIn this paper, we give a stronger version of the notion of behavioural controlled-invariance introduced in a previous paperin the context of regular partial interconnections. In such interconnections, the variables are divided into two sets: the variables to-be-controlled and the variables on which it is allowed to enforce restrictions (control variables); moreover, regularity means that the restrictions of the controller do not overlap with the ones already implied by the laws of the original behaviour. A complete characterisation of strong controlled-invariance for nD behaviours is derived making use of a special controller behaviour known as the canonical controller. (c) 2017 Informa UK Limited, trading as Taylor & Francis Group2017-08-082017-08-08T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/10216/110085eng0020-717910.1080/00207179.2017.1359674Rocha, PPereira, Rinfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-27T18:22:27Zoai:repositorio-aberto.up.pt:10216/110085Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T22:46:43.167973Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse |
| dc.title.none.fl_str_mv |
Strong controlled-invariance of behavioural nD systems |
| title |
Strong controlled-invariance of behavioural nD systems |
| spellingShingle |
Strong controlled-invariance of behavioural nD systems Rocha, P |
| title_short |
Strong controlled-invariance of behavioural nD systems |
| title_full |
Strong controlled-invariance of behavioural nD systems |
| title_fullStr |
Strong controlled-invariance of behavioural nD systems |
| title_full_unstemmed |
Strong controlled-invariance of behavioural nD systems |
| title_sort |
Strong controlled-invariance of behavioural nD systems |
| author |
Rocha, P |
| author_facet |
Rocha, P Pereira, R |
| author_role |
author |
| author2 |
Pereira, R |
| author2_role |
author |
| dc.contributor.author.fl_str_mv |
Rocha, P Pereira, R |
| description |
In this paper, we give a stronger version of the notion of behavioural controlled-invariance introduced in a previous paperin the context of regular partial interconnections. In such interconnections, the variables are divided into two sets: the variables to-be-controlled and the variables on which it is allowed to enforce restrictions (control variables); moreover, regularity means that the restrictions of the controller do not overlap with the ones already implied by the laws of the original behaviour. A complete characterisation of strong controlled-invariance for nD behaviours is derived making use of a special controller behaviour known as the canonical controller. (c) 2017 Informa UK Limited, trading as Taylor & Francis Group |
| publishDate |
2017 |
| dc.date.none.fl_str_mv |
2017-08-08 2017-08-08T00:00:00Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/10216/110085 |
| url |
https://hdl.handle.net/10216/110085 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
0020-7179 10.1080/00207179.2017.1359674 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.source.none.fl_str_mv |
reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia instacron:RCAAP |
| instname_str |
FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| instacron_str |
RCAAP |
| institution |
RCAAP |
| reponame_str |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| collection |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) |
| repository.name.fl_str_mv |
Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia |
| repository.mail.fl_str_mv |
info@rcaap.pt |
| _version_ |
1833599860875460608 |