Input Order Robustness: Definition, Verification Procedure, and Examples

Verifying that logic control satisfies some desirable properties is essential to the proper and safe functioning of a manufacturing system. Input order robustness is one such property that has not been thoroughly explored. If a logic controller is input order robust for all sets of inputs whose elem...

Ausführliche Beschreibung