Verification and validation of a SSM model dedicated to mode handling of flexible manufacturing systems
Keywords: سیستم کنترل; Flexible manufacturing systems; Control system; Supervision; Mode handling; Functional and behavioral modeling; Safe state machines; Verification; Validation