On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications

Amrith Dhananjayan, Kiam Tian Seow

Abstract

In control of discrete-event systems (DES’s), the formalization of control requirements from natural language statements is essentially a human endeavor. Without automated support tools, human designers often face the uncertainty of not knowing if the control requirements formalized in the rudimentary DES formalism of automata are as intended, motivating the automata-theoretic study of specification informatics in the field of DES’s. A specification automaton that renders its linguistic description more transparent should help designers ascertain the prescribed requirement. Such transparency may be formalized in either the state space or the event space of the DES. In this paper, treating the former as fundamental, a state-transparent specification automaton is conceptualized with respect to a full specification automaton (‘full’ in the sense of having all the a priori transitional constraints of the DES embedded in it). It contains only specification relevant states called specification epochs. Each epoch denotes a “well-defined” disjoint subset of states of the full specification automaton in the same phase of execution, meaningfully aggregated such that the resultant specification automaton retains the original restrictiveness on the DES. The problem of maximizing the state-transparency of specification automata for DES’s is then theoretically formulated. Subject to human perceptive or cognition limits, we believe that such a maximally state-transparent specification automaton could be more comprehensible, showing clearly the compliant execution of the system through a minimum number of specification epochs, and should aid designers in clarifying if the requirement prescribed is the one intended.

References

  1. Bredereke, J. and Lankenau, A. (2005). Safety-relevant mode confusions-modelling and reducing them. Reliability Engineering & System Safety, 88(3):229 - 245.
  2. Cao, X.-R. and Ho, Y.-C. (1990). Models of discrete event dynamic systems. IEEE Control Systems Magazine, 10(4):69 - 76.
  3. Cassandras, C. G. and Lafortune, S. (2008). Introduction to Discrete Event Systems. Springer.
  4. Cheriaux, F., Picci, L., Provost, J., and Faure, J.-M. (2010). Conformance test of logic controllers of critical systems from industrial specifications. In Proceedings of the European Conference on Safety and Reliability.
  5. Diestel, R. (2006). Graph theory. Springer.
  6. Du, Y. and Wang, S. H. (1988). Translation of output constraint into event constraint in the control of discrete event systems. In Proceedings of the IEEE Conference on Decision and Control, volume 2, pages 1119 -1124.
  7. Faraut, G., Piétrac, L., and Niel, E. (2011). Process tracking by equivalent states in modal supervisory control. In Proceedings of the IEEE Conference on Emerging Technologies & Factory Automation, pages 1 - 8.
  8. Feng, L., M.Wonham, W., and Thiagarajan (2007). Designing communicating transaction processes by supervisory control theory. Formal Methods in System Design, 30:117-141.
  9. Grigorov, L., Butler, B., Cury, J., and Rudie, K. (2010). Conceptual design of discrete-event systems using templates. Discrete Event Dynamic Systems, pages 1-47.
  10. Grigorov, L., Butler, B., Cury, J., and Rudie, K. (2011). Conceptual design of discrete-event systems using templates. Discrete Event Dynamic Systems, 21:257- 303.
  11. Hinze, A., Malik, P., and Malik, R. (2006). Interaction design for a mobile context-aware system using discrete event modelling. In Proceedings of the Australasian Computer Science Conference, pages 257-266.
  12. Kos?ecká, J. and Bajcsy, R. (1994). Discrete event systems for autonomous mobile agents. Robotics and Autonomous Systems, 12(3-4):187-198.
  13. Magnusson, P., Sundström, N., Bengtsson, K., Lennartson, B., Falkman, P., and Fabian, M. (2011). Planning transport sequences for flexible manufacturing systems. In Proceedings of the IFAC World Congress.
  14. Manna, Z. and Pnueli, A. (1992). The temporal logic of reactive and concurrent systems. Springer-Verlag.
  15. Miremadi, S., Akesson, K., and Lennartson, B. (2008). Extraction and representation of a supervisor using guards in extended finite automata. In International Workshop on Discrete Event Systems, pages 193 -199.
  16. Ou, Y.-C. and Hu, J. (2000). A modified method for supervisor specification and synthesis of a class of discrete event systems. Asian Journal of Control, 2(4):263- 273.
  17. Pham, M. T., Dhananjayan, A., and Seow, K. T. (2010). On the transparency of automata as discrete-event control specifications. In Proceedings of the IEEE International Conference on Robotics and Automation, pages 1474-1479.
  18. Ramadge, P. J. and Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206-230.
  19. Rasmussen, J. (1986). Information processing and humanmachine interaction: an approach to cognitive engineering. North-Holland.
  20. Ricker, S. L., Sarkar, N., and Rudie, K. (1996). A discrete event systems approach to modeling dextrous manipulation. Robotica, 14(5):515-525.
  21. Seow, K. T. (2007). Integrating temporal logic as a statebased specification language for discrete-event control design in finite automata. IEEE Transactions on Automation Science and Engineering, 4(3):451-464.
  22. Seow, K. T. and Pasquier, M. (2004). Supervising passenger land-transport systems. IEEE Transactions on Intelligent Transportation Systems, 5(3):165-176.
  23. Su, R. and Wonham, W. M. (2004). Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 14(1):31-53.
  24. Uzam, M. (2004). An optimal deadlock prevention policy for flexible manufacturing systems using petri net models with resources and the theory of regions. The International Journal of Advanced Manufacturing Technology, 19(3):192-208.
  25. Wonham, W. M. (2003). Supervisory control theory: Models and methods. In Proc. ATPN - Workshop on Discrete Event Systems Control, International Conference on Application Theory of Petri Nets, pages 1-14.
Download


Paper Citation


in Harvard Style

Dhananjayan A. and Seow K. (2012). On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications . In Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8565-21-1, pages 357-367. DOI: 10.5220/0003977403570367


in Bibtex Style

@conference{icinco12,
author={Amrith Dhananjayan and Kiam Tian Seow},
title={On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications},
booktitle={Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2012},
pages={357-367},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003977403570367},
isbn={978-989-8565-21-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications
SN - 978-989-8565-21-1
AU - Dhananjayan A.
AU - Seow K.
PY - 2012
SP - 357
EP - 367
DO - 10.5220/0003977403570367