Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/18588
Title: Strong controlled-invariance of behavioural nD systems
Author: Pereira, Ricardo
Rocha, Paula
Keywords: Behaviors
Controlled invariance
Canonical controllers
Invariance
Issue Date: 2-Dec-2018
Publisher: Taylor & Francis
Abstract: In this paper we give a stronger version of the notion of behavioral controlled invariance introduced in (Pereira & Rocha, 2017) in 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 behavior. A complete characterization of strong controlled invariance for nD behaviors is derived making use of a special controller behavior known as the canonical controller.
Peer review: yes
URI: http://hdl.handle.net/10773/18588
DOI: 10.1080/00207179.2017.1359674
ISSN: 0020-7179
Appears in Collections:CIDMA - Artigos
SCG - Artigos

Files in This Item:
File Description SizeFormat 
ArticleIJC-FinalVersion.pdf264.09 kBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.