Search results
- 1.0388817 - ÚI 2013 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT OC10048; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : model checking * hybrid systems * formal verification
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.250, year: 2012
Permanent Link: http://hdl.handle.net/11104/0217724 - 2.0363061 - ÚI 2012 RIV IL eng J - Journal Article
Rohn, Jiří - Farhadsefat, R.
Inverse Interval Matrix: A Survey.
Electronic Journal of Linear Algebra. Roč. 22, - (2011), s. 704-719. ISSN 1537-9582. E-ISSN 1081-3810
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : interval matrix * inverse interval matrix * NP-hardness * enclosure * unit midpoint * inverse sign stability * nonnegative invertibility * absolute value equation * algorithm
Subject RIV: BA - General Mathematics
Impact factor: 0.563, year: 2011
http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol22_pp704-719.pdf
Permanent Link: http://hdl.handle.net/11104/0199168 - 3.0362979 - ÚI 2012 RIV DE eng J - Journal Article
Rohn, Jiří
A note on generating P-matrices.
Optimization Letters. Roč. 6, č. 3 (2012), s. 601-603. ISSN 1862-4472. E-ISSN 1862-4480
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : P-matrix * interval matrix
Subject RIV: BA - General Mathematics
Impact factor: 1.654, year: 2012
Permanent Link: http://hdl.handle.net/11104/0199140 - 4.0362978 - ÚI 2012 RIV DE eng J - Journal Article
Rohn, Jiří
A theorem of the alternatives for the equation |Ax| - |B||x| = b.
Optimization Letters. Roč. 6, č. 3 (2012), s. 585-591. ISSN 1862-4472. E-ISSN 1862-4480
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : absolute value equation * triple absolute value equation * alternatives * solution set * interval matrix * regularity
Subject RIV: BA - General Mathematics
Impact factor: 1.654, year: 2012
Permanent Link: http://hdl.handle.net/11104/0199139 - 5.0362977 - ÚI 2013 RIV DE eng J - Journal Article
Rohn, Jiří
A general method for enclosing solutions of interval linear equations.
Optimization Letters. Roč. 6, č. 4 (2012), s. 709-717. ISSN 1862-4472. E-ISSN 1862-4480
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : interval linear equations * solution set * enclosure * absolute value inequality
Subject RIV: BA - General Mathematics
Impact factor: 1.654, year: 2012
Permanent Link: http://hdl.handle.net/11104/0199138 - 6.0362976 - ÚI 2013 RIV DE eng J - Journal Article
Rohn, Jiří
An algorithm for computing all solutions of an absolute value equation.
Optimization Letters. Roč. 6, č. 5 (2012), s. 851-856. ISSN 1862-4472. E-ISSN 1862-4480
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : absolute value equation * algorithm * all solutions * linear complementarity problem
Subject RIV: BA - General Mathematics
Impact factor: 1.654, year: 2012
Permanent Link: http://hdl.handle.net/11104/0199137 - 7.0362972 - ÚI 2013 RIV DE eng J - Journal Article
Rohn, Jiří
On Rump’s characterization of P-matrices.
Optimization Letters. Roč. 6, č. 5 (2012), s. 1017-1020. ISSN 1862-4472. E-ISSN 1862-4480
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : P-matrix * interval matrix * regularity
Subject RIV: BA - General Mathematics
Impact factor: 1.654, year: 2012
Permanent Link: http://hdl.handle.net/11104/0199134 - 8.0358261 - ÚI 2012 RIV US eng J - Journal Article
Rohn, Jiří
An algorithm for computing the hull of the solution set of interval linear equations.
Linear Algebra and Its Applications. Roč. 435, č. 2 (2011), s. 193-201. ISSN 0024-3795. E-ISSN 1873-1856
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : interval linear equations * solution set * interval hull * algorithm * absolute value inequality
Subject RIV: BA - General Mathematics
Impact factor: 0.974, year: 2011
Permanent Link: http://hdl.handle.net/11104/0196354 - 9.0357623 - ÚI 2011 RIV IL eng J - Journal Article
Rohn, Jiří
Explicit Inverse of an Interval Matrix with Unit Midpoint.
Electronic Journal of Linear Algebra. Roč. 22, - (2011), s. 138-150. ISSN 1537-9582. E-ISSN 1081-3810
R&D Projects: GA ČR GA201/09/1957; GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : interval matrix * unit midpoint * inverse interval matrix * regularity
Subject RIV: BA - General Mathematics
Impact factor: 0.563, year: 2011
http://www.math.technion.ac.il/iic/ela/ela-articles/articles/vol22_pp138-150.pdf
Permanent Link: http://hdl.handle.net/11104/0195857 - 10.0351298 - ÚI 2011 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : basin of attraction * stability * constraint solving * interval computation * algorithms
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.297, year: 2010
Permanent Link: http://hdl.handle.net/11104/0191083