PROCESS CONTROL SYNTHESIS IMPROVED BY STRUCTURAL MODEL PROPERTIES

Hans-Christian Lapp, Hans-Michael Hanisch

2012

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.

References

  1. Feng, L., Cai, K., and Wonham, W. M. (2009). A structural approach to the non-blocking supervisory control of discrete-event systems. International Journal of Manufacturing Technology, 41(11-12):1152-1168.
  2. Hanisch, H.-M. and Rausch, M. (1995). Net condition/event systems with multiple condition outputs. In Proceedings of the Conference on Emerging Technologies and Factory Automation (ETFA), pages 592-600, Paris, France.
  3. Hirsch, M. (2010). Systematic Design of Distributed Industrial Manufacturing Control Systems, volume 6. Logos Verlag Berlin.
  4. Holloway, L., Krogh, B., and Giua, A. (1997). A survey of petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7(2):151 - 190.
  5. Iordache, M. V. and Antsaklis, P. J. (2006). Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems, 16(4):451-492.
  6. Li, Z. and Zhou, M. (2006). Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. IEEE Transactions on Industrial Informatics, 2(4):313-325.
  7. Missal, D. and Hanisch, H.-M. (2006). Synthesis of distributed controllers by means of a monolithic approach. In Proceedings of the Conference on Emerging Technologies and Factory Automation (ETFA), pages 356-363.
  8. Missal, D. and Hanisch, H.-M. (2008a). A Modular Synthesis Approach for Distributed Safety Controllers, Part A: Modelling and Specification. In Proceedings of the 17th World Congress - The International Federation of Automatic Control, pages 473-478, Seoul, Korea.
  9. Missal, D. and Hanisch, H.-M. (2008b). A Modular Synthesis Approach for Distributed Safety Controllers, Part B: Modular Control Synthesis. In Proceedings of the 17th World Congress - The International Federation of Automatic Control, page 14 47914 484, Seoul, Korea.
  10. Missal, D. and Hanisch, H.-M. (2009). Synthesis of Distributed Safety Controllers with Incomplete State Observation. In 35th Annual Conference of the IEEE Industrial Electronics Society (IECON), pages 4383- 4390, Porto.
  11. Pinzon, L., Jafari, M., Hanisch, H.-M., and Zhao, P. (2004). Modelling admissible behavior using event signals. Transactions on Systems, Man and Cybernetics (SMC) Part B: Cybernetics, 34 (3):1435-1448.
  12. Starke, P. and Roch, S. (2002). Analysing signal-net systems. Technical Report 162, Humboldt-Universität zu Berlin, Berlin, Germany. Informatikberichte.
  13. Uzam, M. and Wonham, W. (2006). A Hybrid Approach to Supervisory Control of Discrete Event Systems Coupling RW Supervisors to Petri Nets. The International Journal of Advanced Manufacturing Technology, 28(7-8):747-760.
  14. Winkler, T., Lapp, H.-C., and Hanisch, H.-M. (2011). A new Model Structure based Synthesis Approach for Distributed Discrete Process Control. In Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), pages 527-532, Caparica, Lisbon, Portugal. IEEE IES.
Download


Paper Citation


in Harvard Style

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 - Volume 1: PECCS, ISBN 978-989-8565-00-6, pages 343-351. DOI: 10.5220/0003945703430351


in Bibtex Style

@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 - Volume 1: PECCS,},
year={2012},
pages={343-351},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003945703430351},
isbn={978-989-8565-00-6},
}


in EndNote Style

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