Výsledky vyhledávání
- 1.0388817 - ÚI 2013 RIV GB eng J - Článek v odborném periodiku
Zhang, J. - She, Z. - Ratschan, Stefan - Hermanns, H. - Hahn, E.M.
Safety Verification for Probabilistic Hybrid Systems.
European Journal of Control. Roč. 18, č. 6 (2012), s. 572-587. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA MŠMT OC10048; GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: model checking * hybrid systems * formal verification
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.250, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0217724 - 2.0351298 - ÚI 2011 RIV US eng J - Článek v odborném periodiku
Ratschan, Stefan - She, Z.
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM Journal on Control and Optimization. Roč. 48, č. 7 (2010), s. 4377-4394. ISSN 0363-0129. E-ISSN 1095-7138
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basin of attraction * stability * constraint solving * interval computation * algorithms
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.297, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0191083