Guard extraction for modeling and control of a collaborative assembly station
Paper in proceeding, 2020

A transition system represented by guards and actions can be amended by new guards computed in order to satisfy some specification. If the transition system is the result of composing smaller state machines, guard extraction can be used to put the new guards onto the guards the original state machines. Planning and verification can then be performed directly on the system with additional guards. In this paper we discuss the benefits of applying guard extraction as part of the modeling work in a modular control architecture, where reusable resources are composed using specifications. We show with an example from the development of an industrial demonstrator that even if the specification language is limited to invariant propositions, in practice many common safety specifications can be expressed when combined with a notion of which transitions are allowed to be restricted.

Discrete event systems in manufacturing

Author

Martin Dahl

Chalmers, Electrical Engineering, Systems and control

Kristofer Bengtsson

Chalmers, Electrical Engineering, Systems and control

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

Petter Falkman

Chalmers, Electrical Engineering, Systems and control

Published in

IFAC-PapersOnLine

24058971 (ISSN) 24058963 (eISSN)

Vol. 53Issue 4p. 223-228

Conference

15th IFAC Workshop on Discrete Event Systems, WODES 2020
Rio de Janeiro, Brazil, 2020-11-10 - 2020-11-12

Categorizing

Subject Categories

Embedded Systems

Computer Science

Computer Systems

Identifiers

DOI

10.1016/j.ifacol.2021.04.053

More information

Latest update

6/8/2021 1