메뉴 건너뛰기




Volumn , Issue , 2010, Pages 5899-5904

Formal analysis of piecewise affine systems through formula-guided refinement

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER CIRCUITS;

EID: 79953155075     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2010.5717909     Document Type: Conference Paper
Times cited : (3)

References (21)
  • 3
    • 84860513120 scopus 로고    scopus 로고
    • Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli
    • G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider, "Validation of qualitative models of genetic regulatory networks by model checking : Analysis of the nutritional stress response in Escherichia coli," Bioinformatics, vol. 21, no. Suppl.1, pp. i19-i28, 2005.
    • (2005) Bioinformatics , vol.21 , Issue.SUPPL. 1
    • Batt, G.1    Ropers, D.2    De Jong, H.3    Geiselmann, J.4    Mateescu, R.5    Page, M.6    Schneider, D.7
  • 5
    • 0035441462 scopus 로고    scopus 로고
    • Verification of infinite-state dynamic systems using approximate quotient transition systems
    • A. Chutinan and B. H. Krogh, "Verification of infinite-state dynamic systems using approximate quotient transition systems," IEEE Trans. Autom. Control, vol. 46, no. 9, pp. 1401-1410, 2001.
    • (2001) IEEE Trans. Autom. Control , vol.46 , Issue.9 , pp. 1401-1410
    • Chutinan, A.1    Krogh, B.H.2
  • 11
    • 0034688174 scopus 로고    scopus 로고
    • Construction of a genetic toggle switch in Escherichia coli
    • T. Gardner, C. Cantor, and J. Collins, "Construction of a genetic toggle switch in Escherichia coli." Nature, vol. 403, no. 6767, pp. 339-342, 2000.
    • (2000) Nature , vol.403 , Issue.6767 , pp. 339-342
    • Gardner, T.1    Cantor, C.2    Collins, J.3
  • 12
    • 33645593784 scopus 로고    scopus 로고
    • LTL with past and two-way very-weak alternating automata
    • P. Gastin and D. Oddoux, "LTL with past and two-way very-weak alternating automata," in Proc. MFCS'03, vol. 2747, 2003, pp. 439-448.
    • (2003) Proc. MFCS'03 , vol.2747 , pp. 439-448
    • Gastin, P.1    Oddoux, D.2
  • 13
    • 0035400417 scopus 로고    scopus 로고
    • Equivalence of hybrid dynamical models
    • W. P. M. H. Heemels, B. D. Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol. 37, no. 7, pp. 1085-1091, 2001.
    • (2001) Automatica , vol.37 , Issue.7 , pp. 1085-1091
    • Heemels, W.P.M.H.1    Schutter, B.D.2    Bemporad, A.3
  • 17
    • 0242366144 scopus 로고    scopus 로고
    • Bisimilar linear systems
    • G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
    • (2003) Automatica , vol.39 , Issue.12 , pp. 2035-2047
    • Pappas, G.J.1
  • 18
    • 33745708511 scopus 로고    scopus 로고
    • Linear time logic control of discrete-time linear systems
    • P. Tabuada and G. Pappas, "Linear time logic control of discrete-time linear systems," IEEE Trans. Autom. Control, vol. 51, no. 12, pp. 1862-1877, 2006.
    • (2006) IEEE Trans. Autom. Control , vol.51 , Issue.12 , pp. 1862-1877
    • Tabuada, P.1    Pappas, G.2
  • 19
    • 0022987223 scopus 로고
    • An automata-theoretic approach to automatic program verification
    • M. Y. Vardi and P. Wolper, "An automata-theoretic approach to automatic program verification," in Proc. Logic in Computer Science, 1986.
    • (1986) Proc. Logic in Computer Science
    • Vardi, M.Y.1    Wolper, P.2
  • 20
    • 84927748597 scopus 로고    scopus 로고
    • Model checking discrete time piesewise affine systems: Application to gene networks
    • B. Yordanov, C. Belta, and G. Batt, "Model checking discrete time piesewise affine systems: application to gene networks," in European Control Conference, 2007.
    • European Control Conference, 2007
    • Yordanov, B.1    Belta, C.2    Batt, G.3


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