On bicontinuous bisimulation and the preservation of stability

P.J.L. Cuijpers

doi:10.1007/978-3-540-71493-4_59

On bicontinuous bisimulation and the preservation of stability

P.J.L. Cuijpers

Interconnected Resource-aware Intelligent Systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

10 Citaten (Scopus)

Samenvatting

Since Pappas et all. transferred the notion of bisimulation from computer science to control theory, it has attracted quite some attention in the hybrid systems community[1]. Notably, bisimulation relations are used to reduce the complexity of dynamic systems, while preserving reachability notions [1]. In [2], we argued that bisimulation needs to be strengthened with continuity conditions, in order to preserve other control science notions as well. This idea was independently explored in [3,4,5] where modal and temporal logics are extended with topological operators, to be able to reason about robustness of a control strategy for embedded systems.

Originele taal-2	Engels
Titel	Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy
Redacteuren	A. Bemporad, A. Bicchi, G.C. Buttazzo, G. Buttazzo
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	676-679
ISBN van geprinte versie	978-3-540-71492-7
DOI's	https://doi.org/10.1007/978-3-540-71493-4_59
Status	Gepubliceerd - 2007
Evenement	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007) - Pisa, Italië Duur: 3 apr. 2007 → 5 apr. 2007 Congresnummer: 10 http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	4416
ISSN van geprinte versie	0302-9743

Congres

Congres	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)
Verkorte titel	HSCC 2007
Land/Regio	Italië
Stad	Pisa
Periode	3/04/07 → 5/04/07
Ander	HSCC 2007, Pisa, Italy
Internet adres	http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Toegang tot document

10.1007/978-3-540-71493-4_59

Citeer dit

Cuijpers, P. J. L. (2007). On bicontinuous bisimulation and the preservation of stability. In A. Bemporad, A. Bicchi, G. C. Buttazzo, & G. Buttazzo (editors), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy (blz. 676-679). (Lecture Notes in Computer Science; Vol. 4416). Springer. https://doi.org/10.1007/978-3-540-71493-4_59

@inproceedings{478fe968e8c54601b43a1c1f15c23eb5,

title = "On bicontinuous bisimulation and the preservation of stability",

abstract = "Since Pappas et all. transferred the notion of bisimulation from computer science to control theory, it has attracted quite some attention in the hybrid systems community[1]. Notably, bisimulation relations are used to reduce the complexity of dynamic systems, while preserving reachability notions [1]. In [2], we argued that bisimulation needs to be strengthened with continuity conditions, in order to preserve other control science notions as well. This idea was independently explored in [3,4,5] where modal and temporal logics are extended with topological operators, to be able to reason about robustness of a control strategy for embedded systems.",

author = "P.J.L. Cuijpers",

year = "2007",

doi = "10.1007/978-3-540-71493-4_59",

language = "English",

isbn = "978-3-540-71492-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "676--679",

editor = "A. Bemporad and A. Bicchi and G.C. Buttazzo and G. Buttazzo",

booktitle = "Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy",

address = "Germany",

note = "10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), HSCC 2007 ; Conference date: 03-04-2007 Through 05-04-2007",

url = "http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/",

}

Cuijpers, PJL 2007, On bicontinuous bisimulation and the preservation of stability. in A Bemporad, A Bicchi, GC Buttazzo & G Buttazzo (uitgave), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Lecture Notes in Computer Science, vol. 4416, Springer, Berlin, blz. 676-679, 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italië, 3/04/07. https://doi.org/10.1007/978-3-540-71493-4_59

On bicontinuous bisimulation and the preservation of stability. / Cuijpers, P.J.L.
Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. uitgave / A. Bemporad; A. Bicchi; G.C. Buttazzo; G. Buttazzo. Berlin: Springer, 2007. blz. 676-679 (Lecture Notes in Computer Science; Vol. 4416).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - On bicontinuous bisimulation and the preservation of stability

AU - Cuijpers, P.J.L.

N1 - Conference code: 10

PY - 2007

Y1 - 2007

N2 - Since Pappas et all. transferred the notion of bisimulation from computer science to control theory, it has attracted quite some attention in the hybrid systems community[1]. Notably, bisimulation relations are used to reduce the complexity of dynamic systems, while preserving reachability notions [1]. In [2], we argued that bisimulation needs to be strengthened with continuity conditions, in order to preserve other control science notions as well. This idea was independently explored in [3,4,5] where modal and temporal logics are extended with topological operators, to be able to reason about robustness of a control strategy for embedded systems.

AB - Since Pappas et all. transferred the notion of bisimulation from computer science to control theory, it has attracted quite some attention in the hybrid systems community[1]. Notably, bisimulation relations are used to reduce the complexity of dynamic systems, while preserving reachability notions [1]. In [2], we argued that bisimulation needs to be strengthened with continuity conditions, in order to preserve other control science notions as well. This idea was independently explored in [3,4,5] where modal and temporal logics are extended with topological operators, to be able to reason about robustness of a control strategy for embedded systems.

U2 - 10.1007/978-3-540-71493-4_59

DO - 10.1007/978-3-540-71493-4_59

M3 - Conference contribution

SN - 978-3-540-71492-7

T3 - Lecture Notes in Computer Science

SP - 676

EP - 679

BT - Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy

A2 - Bemporad, A.

A2 - Bicchi, A.

A2 - Buttazzo, G.C.

A2 - Buttazzo, G.

PB - Springer

CY - Berlin

T2 - 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)

Y2 - 3 April 2007 through 5 April 2007

ER -

Cuijpers PJL. On bicontinuous bisimulation and the preservation of stability. In Bemporad A, Bicchi A, Buttazzo GC, Buttazzo G, redacteurs, Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Berlin: Springer. 2007. blz. 676-679. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-71493-4_59

On bicontinuous bisimulation and the preservation of stability

Samenvatting

Publicatie series

Congres

Toegang tot document

Vingerafdruk

Citeer dit