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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy
Editors	A. Bemporad, A. Bicchi, G.C. Buttazzo, G. Buttazzo
Place of Publication	Berlin
Publisher	Springer
Pages	676-679
ISBN (Print)	978-3-540-71492-7
DOIs	https://doi.org/10.1007/978-3-540-71493-4_59
Publication status	Published - 2007
Event	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007) - Pisa, Italy Duration: 3 Apr 2007 → 5 Apr 2007 Conference number: 10 http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Publication series

Name	Lecture Notes in Computer Science
Volume	4416
ISSN (Print)	0302-9743

Conference

Conference	10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)
Abbreviated title	HSCC 2007
Country/Territory	Italy
City	Pisa
Period	3/04/07 → 5/04/07
Internet address	http://cse.lab.imtlucca.it/~bemporad/hybrid/hscc07/

Access to Document

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

Cite this

Cuijpers, P. J. L. (2007). On bicontinuous bisimulation and the preservation of stability. In A. Bemporad, A. Bicchi, G. C. Buttazzo, & G. Buttazzo (Eds.), Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy (pp. 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 (eds), 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, pp. 676-679, 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, 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. ed. / A. Bemporad; A. Bicchi; G.C. Buttazzo; G. Buttazzo. Berlin: Springer, 2007. p. 676-679 (Lecture Notes in Computer Science; Vol. 4416).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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, editors, Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Berlin: Springer. 2007. p. 676-679. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-71493-4_59

On bicontinuous bisimulation and the preservation of stability

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this