Specifying Safety Monitors for Autonomous Systems Using Model-Checking
暂无分享,去创建一个
Fanny Dufossé | David Powell | Jérémie Guiochet | Hélène Waeselynck | Jean-Paul Blanquart | Mathilde Machin | F. Dufossé | H. Waeselynck | Jérémie Guiochet | M. Machin | D. Powell | J. Blanquart
[1] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[2] T. Anderson. Kernels for Safety ? , 1989 .
[3] Mike Fraser,et al. Building safer robots: Safety driven control , 2012, Int. J. Robotics Res..
[4] Lee Pike,et al. Runtime Verification for Ultra-Critical Systems , 2011, RV.
[5] Matthieu Roy,et al. Safety Trigger Conditions for Critical Autonomous Systems , 2012, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing.
[6] Martin Leucker,et al. A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..
[7] Axel Gräser,et al. A supervisory control approach for safe behavior of service robot case study: FRIEND , 2010, SAC '10.
[8] S. Lafortune. Supervisory Control Of Discrete Event Systems , 2011 .
[9] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .