메뉴 건너뛰기




Volumn , Issue , 2008, Pages 81-86

Supervisory control using satisfiability solvers

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; BOOLEAN FUNCTIONS; CONTROL THEORY; CYBERNETICS; INDUSTRIAL APPLICATIONS; MODEL CHECKING; NUCLEAR PROPULSION; SCADA SYSTEMS; SUPERVISORY PERSONNEL; SYSTEM THEORY; TECHNICAL PRESENTATIONS;

EID: 53149086257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605926     Document Type: Conference Paper
Times cited : (2)

References (32)
  • 1
    • 0024479313 scopus 로고
    • 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
  • 7
    • 0003965423 scopus 로고
    • 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
  • 14
    • 35948947891 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 20
    • 33744906311 scopus 로고    scopus 로고
    • 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
  • 22
    • 15544368828 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.