Tuning Trains Speed in Railway Scheduling

no code implementations • 6 Dec 2024 • Étienne André

Railway scheduling consists in ensuring that a set of trains evolve in a shared rail network without collisions, while meeting schedule constraints.

Scheduling

MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties

1 code implementation • 24 Jul 2024 • Bineet Ghosh, Étienne André

We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w. r. t.

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

no code implementations • 25 Apr 2022 • Bineet Ghosh, Étienne André

Given an offline log, our approach is able to monitor the log against safety specifications with a limited number of false alarms.

Model-bounded monitoring of hybrid systems

no code implementations • 15 Feb 2021 • Masaki Waga, Étienne André, Ichiro Hasuo

Monitoring of hybrid systems attracts both scientific and practical attention.

model

Symbolic Monitoring against Specifications Parametric in Time and Data

1 code implementation • 11 May 2019 • Masaki Waga, Étienne André, Ichiro Hasuo

Monitoring consists in deciding whether a log meets a given specification.

Formal Languages and Automata Theory Systems and Control

Parametric Timed Pattern Matching

1 code implementation • 18 Mar 2019 • Masaki Waga, Étienne André

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log.

Formal Languages and Automata Theory

Offline timed pattern matching under uncertainty

1 code implementation • 21 Dec 2018 • Étienne André, Ichiro Hasuo, Masaki Waga

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log.

Systems and Control Logic in Computer Science F.4