loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Hans-Christian Lapp and Hans-Michael Hanisch

Affiliation: Martin Luther University of Halle-Wittenberg, Germany

Keyword(s): Discrete Event Systems, Process Control Synthesis, Net Condition/Event Systems, Invariants.

Abstract: This contribution presents a novel approach to synthesize discrete process control on shop-floor level. It takes advantage of the modular composition of the used modeling formalism. The synthesis procedure grounds on the model of the uncontrolled plant behavior, as well as on specifications of forbidden states and desired process behavior. Thus, the presented approach also opens the door to more flexibility, compared to solely forbidden state specifications. The plant model structure is abstracted without loss of information into a novel representation called Transition Invariants Graph. This representation is utilized to extract admissible trajectories out of the reachable state space of the uncontrolled plant. Hence, the introduced approach reduces the complexity during control synthesis procedure significantly by limiting the reachability analysis. That makes it feasible to be used even in real-scale industrial systems.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 13.59.130.130

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lapp, H. and Hanisch, H. (2012). PROCESS CONTROL SYNTHESIS IMPROVED BY STRUCTURAL MODEL PROPERTIES. In Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS; ISBN 978-989-8565-00-6; ISSN 2184-2817, SciTePress, pages 343-351. DOI: 10.5220/0003945703430351

@conference{peccs12,
author={Hans{-}Christian Lapp. and Hans{-}Michael Hanisch.},
title={PROCESS CONTROL SYNTHESIS IMPROVED BY STRUCTURAL MODEL PROPERTIES},
booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS},
year={2012},
pages={343-351},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003945703430351},
isbn={978-989-8565-00-6},
issn={2184-2817},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems - PECCS
TI - PROCESS CONTROL SYNTHESIS IMPROVED BY STRUCTURAL MODEL PROPERTIES
SN - 978-989-8565-00-6
IS - 2184-2817
AU - Lapp, H.
AU - Hanisch, H.
PY - 2012
SP - 343
EP - 351
DO - 10.5220/0003945703430351
PB - SciTePress