35 citations · 44 across the 4 of their papers we have counts for
4 papers
RMQFMU: Bridging the Real World with Co-simulation Technical Report
Mirgita Frasheri, Henrik Ejersbo, Casper Thule +1
In this paper we present an experience report for the RMQFMU, a plug and play tool, that enables feeding data to/from an FMI2-based co-simulation environment based on the AMQP prot…
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Scott A. Smolka, Ashish Tiwari, Lukas Esterle +3
We introduce the concept of a V-formation game between a controller and an attacker, where controller's goal is to maneuver the plant (a simple model of flocking dynamics) into a V…
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Anna Lukina, Lukas Esterle, Christian Hirsch +5
We introduce ARES, an efficient approximation algorithm for generating optimal plans (action sequences) that take an initial state of a Markov Decision Process (MDP) to a state who…
The Handbook of Engineering Self-Aware and Self-Expressive Systems
Tao Chen, Funmilade Faniyi, Rami Bahsoon +4
When faced with the task of designing and implementing a new self-aware and self-expressive computing system, researchers and practitioners need a set of guidelines on how to use t…