13 citations · 35 across the 16 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2013★ 3 cited
Predictability of Event Occurrences in Timed Systems
Franck Cassez, Alban Grastien
We address the problem of predicting events' occurrences in partially observable timed systems modelled by timed automata. Our contribution is many-fold: 1) we give a definition of…
eess.SY2012★ 1 cited
Controllers with Minimal Observation Power (Application to Timed Systems)
Peter Bulychev, Franck Cassez, Alexandre David +3
We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates equipped with a cost function. The…