Reniers, Michel

1. Supervisory Control Synthesis of Timed Automata Using Forcible Events
   2021/02/18 by Rashidinejad, Aida, Reniers, Michel, Fabian, Martin · 2 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Maximally Permissive Controlled System Synthesis for Modal Logic
   2014/08/14 by Allan van Hulst, van Hulst, Allan, Michel Reniers +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Supervisory Control Theory with Event Forcing
   2024/04/12 by Michel Reniers, Reniers, Michel, Kai Cai +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering