A theory of desynchronisable closed loop system

Autor: Harsh Beohar, Pieter Cuijpers

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 38, Iss Proc. ICE 2010, Pp 99-114 (2010)

The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to the asynchronous interac

Externí odkaz: https://doaj.org/article/256373ad48c4496db6f31801c236c71f

The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

Autor: Pieter Cuijpers, Stefan Schmid, Nicolas Schnepf, Jiri Srba

Publikováno v: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.239-250, ⟨10.1109/DSN53405.2022.00034⟩
Cuijpers, P J L, Schmid, S, Schnepf, N & Srba, J 2022, The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures . in 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22) . IEEE, pp. 239-250, International Conference on Dependable Systems and Networks (DSN), Baltimore, United States, 27/06/2022 . https://doi.org/10.1109/DSN53405.2022.00034

International audience; To meet their stringent requirements in terms of performance and dependability, communication networks should be "well connected". While classic connectivity measures typically revolve around topological properties, e.g., rela

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5d79990b7ea52e4ff43c30ab41096ff
https://doi.org/10.1109/dsn53405.2022.00034

Topological Aspects of Hybrid Processes

Autor: Michel A. Reniers, Pjl Pieter Cuijpers

Publikováno v: Electronic Notes in Theoretical Computer Science. 162:153-158

In the study of hybrid systems, one encounters problems of a topological nature such as the continuity of physical behavior, limit-behavior such as Zeno-phenomena and the influence of imprecise measurements. We discuss/define these topological proble

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19fe42e36c314f7e044bb0c97545f068
https://doi.org/10.1016/j.entcs.2005.12.080

Avoiding diamonds in desynchronisation

Autor: Pjl Pieter Cuijpers, Harsh Beohar

Publikováno v: Science of Computer Programming, 91(Part A), 45-69. Elsevier
FACS

The design of concurrent systems often assumes synchronous communication between different parts of a system. When system components are physically apart, this assumption becomes inappropriate. Desynchronisation is a technique that aims to implement

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::325d5029a6c0d5d163ca03c87dc090ec
https://research.tue.nl/nl/publications/02e17363-929d-4531-b617-01211b65e257

Analysis of Ethernet-switch traffic shapers for in-vehicle networking applications

Autor: Thangamuthu, S., Concer, N., Pieter Cuijpers, Lukkien, J. J.

Publikováno v: Scopus-Elsevier
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015), 55-60
STARTPAGE=55;ENDPAGE=60;TITLE=2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015)

Switched Ethernet has been proposed as network technology for automotive and industrial applications. IEEE AVB is a collection of standards that specifies (among other elements) a set of network traffic shaping mechanisms (i.e., rules to regulate the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f184338bad1dc71da8fd983bdd50b689
http://www.scopus.com/inward/record.url?eid=2-s2.0-84945947536&partnerID=MN8TOARS