2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By IEEE

9781509030798
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Configurable numerical analysis for stochastic systems

2016 ◽  
Author(s):  
Kristof Marussy ◽  
Attila Klenik ◽  
Vince Molnar ◽  
Andras Voros ◽  
Miklos Telek ◽  
...  
Keyword(s):  
Numerical Analysis ◽  
Stochastic Systems

scholarly journals Control of nonlinear switched systems based on validated simulation

2016 ◽  
Author(s):  
Adrien Le Coent ◽  
Julien Alexandre dit Sandretto ◽  
Alexandre Chapoutot ◽  
Laurent Fribourg
Keyword(s):  
Switched Systems ◽  
Nonlinear Switched Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document