Information Technology Reference
In-Depth Information
10. Shannon, C.E., Weaver, W.: The Mathematical Theory of Communication. University of
Illinois Press (1949)
11. Bollig, B., Wegener, I.: Improving the Variable Ordering of OBDDs Is NP-Complete. IEEE
Transactions on Computers 45, 993-1002 (1996)
12. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Force: A Fast and Easy-To-Implement Variable-
Ordering Heuristic. In: 13th ACM Great Lakes symposium on VLSI, pp. 116-119 (2003)
13. Vahidi, A., Fabian, M., Lennartson, B.: Efficient Supervisory Synthesis of Large Systems.
Control Engineering Practice 14, 1157-1167 (2006)
14. Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic Model Checking with Partitioned Transition
Relations. In: International Conference on Very Large Scale Integration, vol. A-1, pp. 49-58
(1991)
15. Burch, J.R., Clarke, E.M., Long, D.E., Mcmillan, K.L., Dill, D.L.: Symbolic Model Check-
ing for Sequential Circuit Verification. IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems 13, 401-424 (1994)
16. Byr od, M., Lennartson, B., Vahidi, A., Akesson, K.: Efficient Reachability analysis on Modu-
lar Discrete-Event Systems using Binary Decision Diagrams. In: 8th International Workshop
on Discrete Event Systems, pp. 288-293 (2006)
17. Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement Learning: A Survey. Journal of
Artificial Intelligence Research 4, 237-285 (1996)
18. Glover, F., Laguna, M.: Tabu Search. Journal of the Operational Research Society 5 (1997)
19. Akesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica - An Integrated Environment
for Verification, Synthesis and Simulation of Discrete Event Systems. In: 8th International
Workshop on Discrete Event Systems, pp. 384-385 (2006)
20. JavaBDD, http://javabdd.sourceforge.net
21. Holloway, L.E., Krogh, B.H.: Synthesis of Feedback Control Logic for a Class of Controlled
Petri Nets. IEEE Transactions on Automatic Control 35, 514-523 (1990)
22. Leduc, R.J.: Hierarchical Interface-Based Supervisory Control. In: 40th IEEE Conference on
Decision and Control, pp. 4116-4121 (2002)
23. Murray Wonham, W.: Notes on Control of Discrete Event Systems. University of Toronto
(1999)
 
 
Search WWH ::




Custom Search