共 50 条
- [1] Model checking of continuous-time Markov chains by closed-form bounding distributions QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 189 - +
- [4] CLOSED-FORM SOLUTION OF THE CONTINUOUS-TIME LYAPUNOV MATRIX EQUATION IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 1994, 141 (05): : 350 - 356
- [7] Closed-Form Solution for a Class of Continuous-Time Algebraic Riccati Equations PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 5051 - 5056
- [8] On the Continuous-Time Algebraic Riccati Equation and its Closed-Form Solution 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 1330 - 1335