Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By ACM Press

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

scholarly journals Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

2016 ◽  
Author(s):  
Stanley Bak ◽  
Sergiy Bogomolov ◽  
Thomas A. Henzinger ◽  
Taylor T. Johnson ◽  
Pradyot Prakash
Keyword(s):  
Nonlinear Systems

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

2016 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
Soonho Kong ◽  
Sicun Gao ◽  
Edmund M. Clarke
Keyword(s):  
Hybrid Systems

scholarly journals Formal Analysis of Robustness at Model and Code Level

2016 ◽  
Author(s):  
Timothy E. Wang ◽  
Pierre-Loïc Garoche ◽  
Pierre Roux ◽  
Romain Jobredeaux ◽  
Éric Féron
Keyword(s):  
Formal Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document