6 citations · 17 across the 11 of their papers we have counts for
13 papers
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
Gustavo Quiros A., Yi Peng Zhu, Tao Cui +3
This report is a compilation of technical knowledge and concepts that were produced by the authors and additional contributors in the context of the collaboration projects "Abstrac…
HPRM: High-Performance Robotic Middleware for Intelligent Autonomous Systems
Jacky Kwok, Shulu Li, Marten Lohstroh +1
The rise of intelligent autonomous systems, especially in robotics and autonomous agents, has created a critical need for robust communication middleware that can ensure real-time…
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…
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Shaokai Lin, Erling Jellum, Mirco Theile +10
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs…
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…
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement +6
Behavior Trees (BTs) provide a lean set of control flow elements that are easily composable in a modular tree structure. They are well established for modeling the high-level behav…
Efficient Parallel Reinforcement Learning Framework using the Reactor Model
Jacky Kwok, Marten Lohstroh, Edward A. Lee
Parallel Reinforcement Learning (RL) frameworks are essential for mapping RL workloads to multiple computational resources, allowing for faster generation of samples, estimation of…
Modal Reactors
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh +2
Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking…
Consistency vs. Availability in Distributed Real-Time Systems
Edward A. Lee, Ravi Akella, Soroush Bateni +3
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is ag…
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…
Quantifying and Generalizing the CAP Theorem
Edward A. Lee, Soroush Bateni, Shaokai Lin +2
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned, there is a tradeoff between consistency and availability. Consistency is agreement…
Achieving Determinism in Adaptive AUTOSAR
Christian Menard, Andres Goens, Marten Lohstroh +1
AUTOSAR Adaptive Platform is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide adequate mechanisms to enforce det…
A Metric for Linear Temporal Logic
Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo +2
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the r…