Showing cs.DCShow all
2 papers · 1 filter
cs.DC2024
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…
cs.DC2024
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…