Concurrent program synthesis based on supervisory control

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 3378-3383

  Iordache, Marian V ^a   Antsaklis, Panos J ^b  

^a LETOURNEAU UNIVERSITY   (United States)

^b University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; PETRI NETS; SPECIFICATIONS; SUPERVISORY PERSONNEL;

CONCURRENT PROCESS; CONCURRENT PROGRAM; HIGH LEVEL SPECIFICATION; PETRI NET MODELS; RESEARCH TOPICS; SUPERVISORY CONTROL;

CONCURRENCY CONTROL;

EID: 77957815287     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530904     Document Type: Conference Paper

References (32)

1. A Concurrency Tool Suite. www.letu.edu/people/marianiordache/acts.
2. PEP homepage. http://parsys.informatik.uni-oldenburg.de/-pep.
3. Spectool homepage. http://www.engr.uky.edu/-holloway/spectool.
4. Supremica homepage. http://www.supremica.org.
5. F. Balarin et al. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Publishers, 1997.
6. K. Barkaoui and J.-F. Pradat-Peyre. Verification in concurrent programming with Petri nets structural techniques. In High-Assurance Systems Engineering Symposium, pages 124-133, 1998.
7. E. Best, R. Devillers, and M. Koutny. Petri nets, process algebras and concurrent programming languages. In Lectures on Petri Nets II: Applications, vol. 1492 of LNCS, pages 1-84. Springer, 1998.
8. J. Cortadella et al. Task generation and compile-time scheduling for mixed data-control embedded software. In Proc. Design Automation Conf., pages 489-494, 2000.
9. B. Grahlmann. The PEP tool. In Grumberg, O., editor, Computer Aided Verification, volume 1254 of Lecture Notes in Computer Science, pages 440-443. Springer-Verlag, 1997.
10. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic, 1993.
11. L. E. Holloway, X. Guan, and R. Sundaravadivelu. Automated synthesis and composition of taskblocks for control of manufacturing systems. IEEE Trans. Syst. Man Cyber. Part B, 30(5):696-712, 2000.
12. M. V. Iordache and P. J. Antsaklis. Software tools for the supervisory control of Petri nets based on place invariants. Technical report isis- 2002-003, University of Notre Dame, April 2002.
13. M. V. Iordache and P. J. Antsaklis. Supervision based on place invariants: A survey. Discrete Event Dynamic Systems, 16:451-492, 2006.
14. M. V. Iordache and P. J. Antsaklis. Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, 2006.
15. M. V. Iordache and P. J. Antsaklis. Petri net supervisors for disjunctive constraints. In Proc. 2007 ACC, pages 4951-4956, 2007.
16. M. V. Iordache and P. J. Antsaklis. Petri nets and programming: A survey. In Proc. 2009 ACC, pages 4994-4999, 2009.
17. M. V. Iordache and P. J. Antsaklis. Synthesis of concurrent programs based on supervisory control. Technical report isis-2009-005, University of Notre Dame, September 2009.
18. K. Åesson, M. Fabian, H. Flordal, and R. Malik. Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems. In Proc. 8th Internat. Workshop on Discrete Event Systems, pages 384-385, 2006.
19. O. Kupferman and M. Vardi. Church's problem revisited. The Bulletin of Symbolic Logic, 5(2):245-263, 1999.
20. E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computers, 36(1):24-35, 1987.
21. M. Lemmon and K. He. Supervisory plug-ins for distributed software. In Proc. Workshop on Software Engineering and Petri Nets, pages 155-172. University of Aarhus, 2000.
22. M. Lemmon, K. He, and S. Shatz. Dynamic reconfiguration of software objects using Petri nets and network unfolding. In Proc. IEEE Internat. Conf. Syst. Man Cyber., pages 3069-3074, 2000.
23. B. Lin. Software synthesis of process-based concurrent programs. In Proc. Design Automation Conf., pages 502-505, 1998.
24. C. Liu et al. Schedulability analysis of Petri nets based on structural properties. In IEEE Internat. Conf. on Application of Concurrency to System Design, 2006.
25. J. O. Moody and P. J. Antsaklis. Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, 1998.
26. T. Murata, B. Shenker, and S. M. Shatz. Detection of Ada static deadlocks using Petri net invariants. IEEE Transactions on Software Engineering, 15(3):314-326, 1989.
27. M. Notomi and T. Murata. Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis. IEEE Trans- actions on Software Engineering, 20(5):325-336, 1994.
28. A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. ACM Symp. Principles of Programming Languages, pages 179-190, 1989.
29. D. Shewa, J. Ashley, and L. Holloway. Spectool 2.4 beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems. In Proc. 8th Internat. Workshop on Discrete Event Systems, pages 477-478, 2006.
30. F.-S. Su and P.-A. Hsiung. Extended quasi-static scheduling for formal synthesis and code generation of embedded software. In Proc. Internat. Symp. on Hardware/Software Codesign, pages 211- 216, 2002.
31. A. Tarafdar and V. K. Garg. Predicate control: synchronization in distributed computations with look-ahead. Journal of Parallel and Distributed Computing, pages 219-237, 2004.
32. Y. Wang, T. Kelly, M. Kudlur, S. Mahlke, and S. Lafortune. The application of supervisory control to deadlock avoidance in concurrent software. In Proc. 9th Internat. Workshop on Discrete Event Systems, pages 287-292, 2008.