6 citations · 17 across the 6 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2019
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone +3
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuo…
eess.SY2017★ 3 cited
A Supervisory Control Algorithm Based on Property-Directed Reachability
Koen Claessen, Jonatan Kilhamn, Laura Kovács +1
We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The…