3 papers
cs.LG2019
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Antonio Anastasio Bruto da Costa, Pallab Dasgupta
We aim to mine temporal causal sequences that explain observed events (consequents) in time-series traces. Causal explanations of key events in a time-series has applications in de…
eess.SY2019
Reachability analysis of linear hybrid systems via block decomposition
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Re…
cs.LO2017
Formal Feature Interpretation of Hybrid Systems
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quan…