Login / Signup
Patrick van der Graaf
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Supervisory Control
Theorem Prover
Dynamic Systems
Data Acquisition
Top Venues
ICARCV
</>
Publications
</>
Aida Rashidinejad
,
Patrick van der Graaf
,
Michel A. Reniers
Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.
ICARCV
(2020)