Symbolic computation of nonblocking control function for timed discrete event systems
暂无分享,去创建一个
Bengt Lennartson | Knut Åkesson | Zhennan Fei | Sajed Miremadi | B. Lennartson | K. Åkesson | Z. Fei | S. Miremadi
[1] Walter Murray Wonham,et al. Reduced supervisors for timed discrete-event systems , 2003, IEEE Trans. Autom. Control..
[2] Claus Lewerentz,et al. Formal Development of Reactive Systems: Case Study Production Cell , 1995 .
[3] Masahiro Fujita,et al. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping , 1993, 30th ACM/IEEE Design Automation Conference.
[4] Ali Saadatpoor,et al. Timed State Tree Structures: Supervisory Control and Fault Diagnosis , 2010 .
[5] W.M. Wonham,et al. STSLib and its application to two benchmarks , 2008, 2008 9th International Workshop on Discrete Event Systems.
[6] Knut Åkesson,et al. Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence , 2007, Discret. Event Dyn. Syst..
[7] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[8] Masahiro Fujita,et al. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping , 1997, Formal Methods Syst. Des..
[9] Knut Åkesson,et al. Modeling of discrete event systems using finite automata with variables , 2007, 2007 46th IEEE Conference on Decision and Control.
[10] R. Malik,et al. Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.
[11] W. Wonham,et al. The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.
[12] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[13] Bengt Lennartson,et al. Efficient Supervisory Synthesis to Large-Scale Discrete Event Systems Modeled as Extended Finite Automata , 2012 .
[14] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[15] Bengt Lennartson,et al. Planning transport sequences for flexible manufacturing systems , 2011 .
[16] H. Wong-Toi,et al. The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.
[17] Bengt Lennartson,et al. Efficient supervisory synthesis of large systems , 2004 .
[18] B. Lennartson,et al. Symbolic Nonblocking Computation of Timed Discrete Event Systems , 2012 .
[19] Amir Pnueli,et al. Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.
[20] Bengt Lennartson,et al. A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata , 2012, IEEE Transactions on Control Systems Technology.
[21] Ahmed Khoumsi,et al. A New Method for Transforming Timed Automata , 2005, SBMF.
[22] B. Lennartson,et al. Solving two supervisory control benchmark problems using Supremica , 2008, 2008 9th International Workshop on Discrete Event Systems.
[23] Walter Murray Wonham,et al. Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.
[24] W. M. Wonham,et al. Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..
[25] W. M. Wonham,et al. A framework for real-time discrete event control , 1990 .
[26] Y. Brave,et al. Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.
[27] Bengt Lennartson,et al. Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration , 2011, ICAART.
[28] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[29] Chen Haoxun,et al. Maximally permissive state feedback logic for controlled time Petri nets , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).
[30] Bengt Lennartson,et al. Relations identification and visualization for sequence planning and automation design , 2010, 2010 IEEE International Conference on Automation Science and Engineering.
[31] H. Andersen. An Introduction to Binary Decision Diagrams , 1997 .
[32] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .