6 citations · 12 across the 6 of their papers we have counts for
3 papers · 1 filter
Efficient Coordination for Distributed Discrete-Event Systems
Byeonggil Jun, Edward A. Lee, Marten Lohstroh +1
Timing control while preserving determinism is often a key requirement for ensuring the safety and correctness of distributed cyber-physical systems (CPS). Discrete-event (DE) syst…
Strongly-Consistent Distributed Discrete-event Systems
Peter Donovan, Erling Jellum, Byeonggil Jun +5
Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging model…
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
Soroush Bateni, Marten Lohstroh, Hou Seng Wong +6
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of uni…