Application of Model-Checking Technology to Controller Synthesis

2011 ◽  
pp. 336-351 ◽  
Author(s):  
Alexandre David ◽  
Jacob Deleuran Grunnet ◽  
Jan Jakob Jessen ◽  
Kim Guldstrand Larsen ◽  
Jacob Illum Rasmussen
Keyword(s):  
Model Checking ◽  
Controller Synthesis

scholarly journals Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress)

2006 ◽  
Vol 149 (2) ◽  
pp. 91-104 ◽  
Author(s):  
Sylvain Kerjean ◽  
Froduald Kabanza ◽  
Richard St-Denis ◽  
Sylvie Thiébaux
Keyword(s):  
Model Checking ◽  
Controller Synthesis ◽  
Work In Progress ◽  
Ltl Model Checking

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking
Sign in / Sign up

Export Citation Format

Share Document