| | |
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 ... |