 |  |  |
| Automated technology for verification and analysis: third international ... | Integral and discrete transforms with applications and error analysis | Time-varying discrete linear systems: input-output operators, Riccati ... |
 |  |  |
| Discrete-time Markov jump linear systems | Observers for linear systems | Formal modeling and analysis of timed systems: 5th international conference ... |
 |  |  |
| Hybrid systems: computation and control : 10th international conference ... | Signal and Linear System Analysis | Formal modeling and analysis of timed systems: 5th international conference ... |
 |
| Analysis, controllability, and optimization of time-discrete systems and ... |
