4 papers
Safe and Near-Optimal Gate Control: A Case Study from the Danish West Coast
Martin Kristjansen, Kim Guldstrand Larsen, Marius MikuÄionis +1
Ringkoebing Fjord is an inland water basin on the Danish west coast separated from the North Sea by a set of gates used to control the amount of water entering and leaving the fjor…
Data-Selective Online Battery Identification Using Extended Time Regular Expressions
Nicolai A. Weinreich, Marco Muñiz, Marius MikuÄionis +2
In this paper, we propose a data-efficient online battery identification method which targets highly informative battery cell data segments based on the driving pattern of the vehi…
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Andreas Holck Høeg-Petersen +8
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Mohammed Aristide Foughali, Marius MikuÄionis, Maryline Zhang
Real-time systems (RTSs) are at the heart of numerous safety-critical applications. An RTS typically consists of a set of real-time tasks (the software) that execute on a multicore…