Safe implementations of supervisory commands

Lecture Notes in Computer Science - Hybrid Systems IV ◽

10.1007/bfb0031564 ◽

1997 ◽

pp. 235-247

Author(s):

Michael Lemmon ◽

Christopher J. Bett

Download Full-text