Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/110085
Author(s): | Rocha, P Pereira, R |
Title: | Strong controlled-invariance of behavioural nD systems |
Issue Date: | 2017-08-08 |
Abstract: | 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 |
URI: | https://hdl.handle.net/10216/110085 |
Document Type: | Artigo em Revista Científica Internacional |
Rights: | openAccess |
Appears in Collections: | FEUP - Artigo em Revista Científica Internacional |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
214723.pdf | Artigo com embargo até 08-08-2018 | 387.01 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.