Lindsay V. Allen

Learn More
Verification of logic controllers can identify errors during the design stage so they can be remedied and prevent some faults from occurring once the system is running. Input order robustness is the property that multiple inputs arriving in a variety of orders, and regardless of the order, produce the same set of outputs and same final state. Verifying this(More)
Some problems with event-based faults in manufacturing systems cannot be handled by existing fault detection solutions, including finding faults in event-based data for systems for which limited information is known. A new fault detection solution that finds faults in event-based data using model generation is presented here. This solution assumes that some(More)
During its lifetime, a manufacturing system often has added functionalities or significant changes to its control system that can result in a broken control hierarchy, causing problems with debugging and reconfiguration. For the upand-coming field of Reconfigurable Manufacturing Systems, poor reconfigurability is especially problematic. A procedure for(More)
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 elements can arrive in any order and whose order should not(More)