-
1
-
-
0024479313
-
The control of discrete event systems
-
P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, vol, 77, no, 1, pp. 81-98, 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.1
, pp. 81-98
-
-
Ramadge, P.J.G.1
Wonham, W.M.2
-
3
-
-
0034294056
-
On the complexity of supervisory control design in the RW framework
-
P. Gohari and W. M. Wonham, "On the complexity of supervisory control design in the RW framework," Systems, Man, and Cybernetics, Part B, IEEE Transactions on, vol. 30, no. 5, pp. 643-652, 2000.
-
(2000)
Systems, Man, and Cybernetics, Part B, IEEE Transactions on
, vol.30
, Issue.5
, pp. 643-652
-
-
Gohari, P.1
Wonham, W.M.2
-
4
-
-
85059770931
-
The complexity of theorem-proving procedures
-
New York, NY, USA, pp, ACM Press
-
S. A. Cook, "The complexity of theorem-proving procedures," in STOC '71: Proceedings of the third annual ACM symposium on Theory of computing, (New York, NY, USA), pp. 151-158, ACM Press, 1971.
-
(1971)
STOC '71: Proceedings of the third annual ACM symposium on Theory of computing
, pp. 151-158
-
-
Cook, S.A.1
-
5
-
-
33847702424
-
Bounded model checking
-
A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, "Bounded model checking," Advances in Computers, vol. 58, pp. 118-149, 2003.
-
(2003)
Advances in Computers
, vol.58
, pp. 118-149
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Strichman, O.4
Zhu, Y.5
-
6
-
-
25144498654
-
A survey of recent advances in sat-based formal verification
-
April
-
M. R. Prasad, A. Biere, and A. Gupta, "A survey of recent advances in sat-based formal verification," International Journal on Software Tools for Technology Transfer (STTT), vol. 7, pp. 156-173, April 2005.
-
(2005)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.7
, pp. 156-173
-
-
Prasad, M.R.1
Biere, A.2
Gupta, A.3
-
7
-
-
0003965423
-
Limited lookahead policies in supervisory control of discrete event systems
-
S. L. Chung, S. Lafortune, and F. Lin, "Limited lookahead policies in supervisory control of discrete event systems," Automatic Control, IEEE Transactions on, vol. 37, no. 12, pp. 1921-1935, 1992.
-
(1992)
Automatic Control, IEEE Transactions on
, vol.37
, Issue.12
, pp. 1921-1935
-
-
Chung, S.L.1
Lafortune, S.2
Lin, F.3
-
8
-
-
0028713881
-
Variable lookahead supervisory control with state information
-
N. B. Hadj-Alouane, S. Lafortune, and F. Lin, "Variable lookahead supervisory control with state information," Automatic Control, IEEE Transactions on, vol. 39, no. 12, pp. 2398-2410, 1994.
-
(1994)
Automatic Control, IEEE Transactions on
, vol.39
, Issue.12
, pp. 2398-2410
-
-
Hadj-Alouane, N.B.1
Lafortune, S.2
Lin, F.3
-
9
-
-
0002303187
-
Planning as satisfiability
-
New York, NY, USA, pp, John Wiley & Sons, Inc
-
H. Kautz and B. Selman, "Planning as satisfiability," in ECAI '92: Proceedings of the 10th European conference on Artificial intelligence, (New York, NY, USA), pp. 359-363, John Wiley & Sons, Inc., 1992.
-
(1992)
ECAI '92: Proceedings of the 10th European conference on Artificial intelligence
, pp. 359-363
-
-
Kautz, H.1
Selman, B.2
-
10
-
-
0030352389
-
Pushing the envelope: Planning, prepositional logic, and stochastic search
-
H. Shrobe and T Senator, eds, Menlo Park, California, pp, AAAI Press
-
H. Kautz and B. Selman, "Pushing the envelope: Planning, prepositional logic, and stochastic search," in Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (H. Shrobe and T Senator, eds.), (Menlo Park, California), pp. 1194-1201, AAAI Press, 1996.
-
(1996)
Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference
, pp. 1194-1201
-
-
Kautz, H.1
Selman, B.2
-
11
-
-
36349021952
-
Diagnosis of discrete-event systems using satisfiability algorithms
-
AAAI Press
-
A. Grastien, Anbulagan, J. Rintanen, and E. Kelareva, "Diagnosis of discrete-event systems using satisfiability algorithms," in Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pp. 305-310, AAAI Press, 2007.
-
(2007)
Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07)
, pp. 305-310
-
-
Grastien, A.1
Anbulagan2
Rintanen, J.3
Kelareva, E.4
-
12
-
-
84880912141
-
Diagnosability testing with satisfiability algorithms
-
M. Veloso, ed, pp, AAAI Press
-
J. Rintanen and A. Grastien, "Diagnosability testing with satisfiability algorithms," in Proceedings of the 20th International Joint Conference on Artificial Intelligence (M. Veloso, ed.), pp. 532-537, AAAI Press, 2007.
-
(2007)
Proceedings of the 20th International Joint Conference on Artificial Intelligence
, pp. 532-537
-
-
Rintanen, J.1
Grastien, A.2
-
14
-
-
35948947891
-
Compositional synthesis of maximally permissive supervisors using supervision equivalence
-
H. Flordal, R. Malik, M. Fabian, and K. Åkesson, "Compositional synthesis of maximally permissive supervisors using supervision equivalence," Discrete Event Dynamic Systems, vol. 17, no. 4, pp. 475-504, 2007.
-
(2007)
Discrete Event Dynamic Systems
, vol.17
, Issue.4
, pp. 475-504
-
-
Flordal, H.1
Malik, R.2
Fabian, M.3
Åkesson, K.4
-
15
-
-
0027098327
-
Symbolic synthesis of supervisory controllers
-
Chicago, IL, USA, pp
-
G. Hoffmann and H. Wong-Toi, "Symbolic synthesis of supervisory controllers," in Proc. of 1992 American Control Conference, (Chicago, IL, USA), pp. 2789-2793, 1992.
-
(1992)
Proc. of 1992 American Control Conference
, pp. 2789-2793
-
-
Hoffmann, G.1
Wong-Toi, H.2
-
17
-
-
34250764386
-
Efficient reachability analysis on modular discrete-event systems using binary decision diagrams
-
M. Byröd, B. Lennartson, A. Vahidi, and K. Åkesson, "Efficient reachability analysis on modular discrete-event systems using binary decision diagrams," in Discrete Event Systems, 2006 8th International Workshop on, pp. 288-293, 2006.
-
(2006)
Discrete Event Systems, 2006 8th International Workshop on
, pp. 288-293
-
-
Byröd, M.1
Lennartson, B.2
Vahidi, A.3
Åkesson, K.4
-
18
-
-
0025595038
-
20 states and beyond
-
20 states and beyond," in Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on the, pp. 428-439, 1990.
-
(1990)
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on the
, pp. 428-439
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
19
-
-
84880890864
-
Planning in nondeterministic domains under partial observability via symbolic model checking
-
B. Nebel, ed, Seattle, Washington, USA, pp, Morgan Kaufmann, August
-
P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso, "Planning in nondeterministic domains under partial observability via symbolic model checking," in Proceedings of the Seventeenth International Joint Conference on Artificial Intelligencee (B. Nebel, ed.), (Seattle, Washington, USA), pp. 473-478, Morgan Kaufmann, August 2001.
-
(2001)
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligencee
, pp. 473-478
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
Traverso, P.4
-
20
-
-
33744906311
-
Efficient supervisory synthesis of large systems
-
October
-
A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems," Control Engineering Practice, vol. 14, pp. 1157-1167, October 2006.
-
(2006)
Control Engineering Practice
, vol.14
, pp. 1157-1167
-
-
Vahidi, A.1
Fabian, M.2
Lennartson, B.3
-
21
-
-
85027612322
-
Minimizing the number of clauses by renaming
-
New York, NY, USA, pp, Springer-Verlag New York, Inc
-
T. Boy de la Tour, "Minimizing the number of clauses by renaming," in CADE-10: Proceedings of the tenth international conference on Automated deduction, (New York, NY, USA), pp. 558-572, Springer-Verlag New York, Inc., 1990.
-
(1990)
CADE-10: Proceedings of the tenth international conference on Automated deduction
, pp. 558-572
-
-
Boy de la Tour, T.1
-
22
-
-
15544368828
-
Computing small clause normal forms
-
A. Robinson and A. Voronkov, eds, Elsevier Science
-
A. Nonnengart and C. Weidenbach, "Computing small clause normal forms," in Handbook of Automated Reasoning (A. Robinson and A. Voronkov, eds.), vol. I, pp. 335-367, Elsevier Science, 2001.
-
(2001)
Handbook of Automated Reasoning
, vol.1
, pp. 335-367
-
-
Nonnengart, A.1
Weidenbach, C.2
-
23
-
-
0035393978
-
Bounded model checking using satisfiability solving
-
July
-
E. Clarke, A. Biere, R. Raimi, and Y. Zhu, "Bounded model checking using satisfiability solving," Form. Methods Syst. Des., vol. 19, pp. 7-34, July 2001.
-
(2001)
Form. Methods Syst. Des
, vol.19
, pp. 7-34
-
-
Clarke, E.1
Biere, A.2
Raimi, R.3
Zhu, Y.4
-
24
-
-
34250645693
-
Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems
-
Ann Arbor, Michigan, pp
-
K. Åkesson, M. Fabian, H. Flordal, and R. Malik, "Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems," in Proceedings of 2006 Workshop of Discrete Event Systems (WODES'06), (Ann Arbor, Michigan), pp. 384-385, 2006.
-
(2006)
Proceedings of 2006 Workshop of Discrete Event Systems (WODES'06)
, pp. 384-385
-
-
Åkesson, K.1
Fabian, M.2
Flordal, H.3
Malik, R.4
-
27
-
-
30344450270
-
-
N. Eén and N. Sörensson, An Extensible SAT-solver, 2919/2004, ch. An Extensible SAT-solver, pp. 502-518. Springer Berlin / Heidelberg, 2004.
-
N. Eén and N. Sörensson, An Extensible SAT-solver, vol. 2919/2004, ch. An Extensible SAT-solver, pp. 502-518. Springer Berlin / Heidelberg, 2004.
-
-
-
-
28
-
-
41549103992
-
Rsat 2.0: Sat solver description,
-
Tech. Rep. D-153, Automated Reasoning Group, Computer Science Department, UCLA
-
K. Pipatsrisawat and A. Darwiche, "Rsat 2.0: Sat solver description," Tech. Rep. D-153, Automated Reasoning Group, Computer Science Department, UCLA, 2007.
-
(2007)
-
-
Pipatsrisawat, K.1
Darwiche, A.2
-
29
-
-
84861453790
-
Picosat versions 535
-
SAT Competition, solver description. Available online, April
-
A. Biere, "Picosat versions 535." SAT Competition 2007 - solver description. Available online http://www.satcompetition.org/2007/picosat.pdf, April 2007.
-
(2007)
-
-
Biere, A.1
-
30
-
-
26444462478
-
-
M. Heule, M. Dufour, J. van Zwieten, and H. van Maaren, March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver, in Theory and Applications of Satisfiability Testing, 3542/2005 of Lecture Notes in Computer Science, pp. 345-359, Springer Berlin / Heidelberg, 2005.
-
M. Heule, M. Dufour, J. van Zwieten, and H. van Maaren, "March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver," in Theory and Applications of Satisfiability Testing, vol. 3542/2005 of Lecture Notes in Computer Science, pp. 345-359, Springer Berlin / Heidelberg, 2005.
-
-
-
-
31
-
-
0034852165
-
Chaff: Engineering an efficient sat solver
-
Las Vegas, June
-
M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an efficient sat solver," in 39th Design Automation Conference (DAC 2001), (Las Vegas), June 2001.
-
(2001)
39th Design Automation Conference (DAC 2001)
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
|