Author:
Malik Robi,Åkesson Knut,Flordal Hugo,Fabian Martin
Subject
Control and Systems Engineering
Reference34 articles.
1. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978
2. Åkesson, K., Fabian, M., Flordal, H., and Malik, R. (2006). Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. In 8th Int. Workshop on Discrete Event Systems, 384–385. IEEE.
3. Åkesson, K., Fabian, M., Flordal, H., and Vahidi, A. (2003). Supremica—a tool for verification and synthesis of discrete event supervisors. In 11th Mediterranean Conf. Control and Automation.
4. Åkesson, K., Flordal, H., and Fabian, M. (2002). Exploiting modularity for synthesis and verification of supervisors. In 15th IFAC World Congress. Barcelona, Spain.
5. Aloul, F.A., Markov, I.L., and Sakallah, K.A. (2003). FORCE: A fast & easy-to-implement variable-ordering heuristic. In 13th ACM Great Lakes Symp. VLSI, 116– 119.
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献