An application of the DEDS control synthesis method

Journal of Universal Computer Science

Volumn 11, Issue 2, 2005, Pages 303-326

  Čapkovič, František ^a  

^a INSTITUTE OF INFORMATICS   (Slovakia)

Author keywords

Control synthesis; Discrete event dynamic systems (DEDS)

Indexed keywords

EID: 23844480680     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (16)

1. [Čapkovič 2003] Čapkovič, F.: "The Generalised Method for Solving Problems of DEDS Control Synthesis"; Proc. Developments in Applied Artificial Intelligence. Lect. Notes Comp. Sci. 2718, Springer, Berlin (Jul 2003), 702-711.
2. [Čapkovič and Čapkovič 2003] Čapkovič, F., Čapkovič, P.: "Petri Net-based Automated Control Synthesis for a Class of DEDS"; Proc. 2003 IEEE Conf. on Emerging Technologies and Factory Automation. IEEE Press, Piscataway, NJ, USA (Sep 2003), 297-304.
3. [Čapkovič 2002] Čapkovič, F.: "Control Synthesis of a Class of DEDS"; Kybernetes. The Int. Journ. of Sys. and Cybern., 31, 9/10 (Dec 2002) 1274-1281.
4. [Čapkovič 2002a] Čapkovič, F.: "A Solution of DEDS Control Synthesis Problems"; Systems Analysis Modelling Simulation, 42, 3 (March 2002) 405-414.
5. [Čapkovič and Čapkovič 2001] Čapkovič, F., Čapkovič, P.: "Intelligent Control Synthesis of Manufacturing Systems"; Proc. Engineering of Intelligent Systems. Lect. Notes Comp. Sci. 2070, Springer, Berlin (Jun 2001), 767-776.
6. [Čapkovič 2000] Čapkovič, F.: "Intelligent Control of Discrete Event Dynamic Systems"; Proc. IEEE Int. Symp. on Intelligent Control. IEEE Press, Patras, Greece (Jul 2000) 109-114.
7. [Čapkovič 2000a] Čapkovič, F.: "Modelling and Control of Discrete Event Dynamic Systems"; BRICS Report Series RS-00-26. Dept. Comp. Sci., Aarhus Univ., Denmark (Oct 2000) http://www.brics.dk/RS/00/Ref/BRICS-RS-00-Ref/BRICS-RS-00-Ref.html
8. [Čapkovič 2000b] Čapkovič, F.: "Solution of DEDS Control Synthesis Problems"; Proc. IFAC Conf. on Control System Design. Pergamon, Elsevier Science, Oxford, UK (Jun 2000) 343-348.
9. [Čapkovič 1999] Čapkovič, F.: "Automated Solving of DEDS Control Problems"; Proc. Multiple Approaches to Intelligent Systems. Lect. Notes Comp. Sci. 1611, Springer, Berlin (May/Jun 1999), 735-746.
10. [Čapkovič 1998] Čapkovič, F.: "Knowledge-Based Control Synthesis of Discrete Event Dynamic Systems" ; Advances in Manugacturing. Decision, Control and Information Technology, Chapter 19, Springer, London (1998) 195-206.
11. [CzechResearchGroup] "http://dce.felk.cvut.cz/cak/Research/index- Research.htm"
12. [Diestel 1997] Diestel, R.: "Graph Theory"; Springer, New York (1997).
13. [Iordache and Antsaklis] Iordache, M.V., Antsaklis, P.J.: "Software tools for the supervisory control of Petri nets based on place invariants"; Univ. of Notre Dame, Notre Dame, USA, technical report ISIS-2002-003, 2002.
14. [Pastor et al.] Pastor, E., Cortadella, J., Pena, M.A.: "Structural Methods to Improve the Symbolic Analysis of Petri Nets"; Application and Theory of Petri Nets 1999. Lect. Notes Comp. Sci. 1639, Springer, Berlin (Jun 1999) 26-45.
15. [Peterson 1981] Peterson, J.L.: "Petri Net Theory and Modeling the Systems"; Prentice Hall, New York (1981).
16. [Tzafestas and Čapkovič 1997] Tzafestas, S.G., Čapkovič, F.: "Petri Net-Based Approach to Synthesis of Intelligent Control for DEDS" ; Computer Assisted Management and Control of Manufacturing Systems, Chapter 12, Springer, Berlin (1997) 325-351.