52 citations · 201 across the 50 of their papers we have counts for
Showing 2014 · eess.SYShow all
2 papers · 2 filters
eess.SY2014
On-Line Monitoring for Temporal Logic Robustness
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We comput…
eess.SY2014★ 20 cited
Conformance Testing as Falsification for Cyber-Physical Systems
Houssam Abbas, Bardh Hoxha, Georgios Fainekos +3
In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathemati…