2 papers
cs.LO2019
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Yannick Pencolé, Éric Lubat, Silvano Dal Zilio +2
We propose a new method for computing the language intersection of two Time Petri nets (TPN); that is the sequence of labels in timed traces common to the execution of two TPN. Our…
cs.AI2019
Applying Active Diagnosis to Space Systems by On-Board Control Procedures
Elodie Chanthery, Louise Travé-Massuyès, Yannick Pencolé +2
The instrumentation of real systems is often designed for control purposes and control inputs are designed to achieve nominal control objectives. Hence, the available measurements…