Permissive control of Boolean condition/event systems: Synthesis and limits
暂无分享,去创建一个
[1] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[2] Jr. Sheldon B. Akers,et al. On a Theory of Boolean Functions , 1959 .
[3] Stefan Kowalewski. Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus , 1994 .
[4] Bruce H. Krogh,et al. On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..
[5] André Thayse. Boolean Calculus of Differences , 1981, Lecture Notes in Computer Science.
[6] B. H. Krogh,et al. Boolean Condition/Event Systems: Computational Representation and Algorithms , 1993 .