1

Active Learning of Modular Plant Models

Model-based techniques are these days being embraced by the industry in their development frameworks. While model-based approaches allow for offline verification and validation of the system, and have other advantages over existing methods, they do …

Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning

This paper proposes an approach to synthesize a modular discrete-event supervisor to control a plant, the behavior model of which is unknown, so as to satisfy given specifications.To this end, the Modular Supervisor Learner (MSL) is presented that …

Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development

The correctness of autonomous driving software is of utmost importance as incorrect behaviour may have catastrophic consequences. Though formal model-based engineering techniques can help guarantee correctness, challenges exist in widespread …

Real-time Visualization of Robot Operation Sequences

Evaluation of manufacturing systems requires large amounts of accurate data from the factory floor. This data is then processed to calculate Key Performance Indicators (KPIs), evaluation metrics used within the manufacturing industry by engineers and …

Synthesis of Supervisors for Unknown Plant Models Using Active Learning

This paper proposes an approach to synthesize a discrete-event supervisor to control a plant, the behavior model of which is unknown, so as to satisfy a given specification. To this end, the L* algorithm is modified so that it can actively query a …

Towards Automatic Learning of Discrete-Event Models from Simulations

Model-based techniques are, these days, being embraced by the manufacturing industry in their development frameworks. While model-based approaches allow for offline verification and validation before physical commissioning, and have other advantages …

Error handling within highly automated automotive industry: Current practice and research needs

Fault tolerant systems, commonly found in literature, are implemented in various computer applications. Some of these methods have been studied and developed to aid manufacturing systems; however, they have rarely been integrated into the …