Design Verification of a Safety-Critical Embedded Verifier

2000 ◽  
pp. 233-245 ◽  
Author(s):  
Piergiorgio Bertoli ◽  
Paolo Traverso
Keyword(s):  
Design Verification ◽  
Safety Critical

Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach

2020 ◽  
Author(s):  
Kaiwen Liu ◽  
Nan Li ◽  
Ilya Kolmanovsky ◽  
Denise Rizzo ◽  
Anouck Girard
Keyword(s):  
Control Systems ◽  
Safety Critical ◽  
Model Free ◽  
Reference Governor

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document