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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450339551

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Entropy and Minimal Data Rates for State Estimation and Model Detection

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

10.1145/2883817.2883820 ◽

2016 ◽

Cited By ~ 11

Author(s):

Daniel Liberzon ◽

Sayan Mitra

Keyword(s):

State Estimation ◽

Data Rates ◽

Minimal Data

Download Full-text

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

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

10.1145/2883817.2883837 ◽

2016 ◽

Cited By ~ 13

Author(s):

Stanley Bak ◽

Sergiy Bogomolov ◽

Thomas A. Henzinger ◽

Taylor T. Johnson ◽

Pradyot Prakash

Keyword(s):

Nonlinear Systems

Download Full-text

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

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

10.1145/2883817.2883849 ◽

2016 ◽

Cited By ~ 5

Author(s):

Kyungmin Bae ◽

Peter Csaba Ölveczky ◽

Soonho Kong ◽

Sicun Gao ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems

Download Full-text

Safety Verification of Piecewise-Deterministic Markov Processes

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

10.1145/2883817.2883836 ◽

2016 ◽

Cited By ~ 4

Author(s):

Rafael Wisniewski ◽

Christoffer Sloth ◽

Manuela Bujorianu ◽

Nir Piterman

Keyword(s):

Markov Processes ◽

Safety Verification ◽

Piecewise Deterministic Markov Processes

Download Full-text

Formal Analysis of Robustness at Model and Code Level

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

10.1145/2883817.2883824 ◽

2016 ◽

Cited By ~ 5

Author(s):

Timothy E. Wang ◽

Pierre-Loïc Garoche ◽

Pierre Roux ◽

Romain Jobredeaux ◽

Éric Féron

Keyword(s):

Formal Analysis

Download Full-text

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

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

10.1145/2883817.2883823 ◽

2016 ◽

Cited By ~ 6

Author(s):

Nikolaos Athanasopoulos ◽

Raphaël M. Jungers

Keyword(s):

Domain Of Attraction ◽

Switching Systems ◽

Convex Constraints

Download Full-text

Session details: Reachability Computation

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

10.1145/3261117 ◽

2016 ◽

Author(s):

Alex Donze

Download Full-text

Session details: Models with Uncertainty

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

10.1145/3261116 ◽

2016 ◽

Author(s):

Antoine Girard

Download Full-text

Session details: Time- and Event-based Models

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

10.1145/3261113 ◽

2016 ◽

Author(s):

Necmiye Ozay

Keyword(s):

Event Based

Download Full-text

Session details: Safety and Stability Analysis

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

10.1145/3261111 ◽

2016 ◽

Author(s):

Taylor Johnson

Keyword(s):

Stability Analysis ◽

Safety And Stability

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Entropy and Minimal Data Rates for State Estimation and Model Detection

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Safety Verification of Piecewise-Deterministic Markov Processes

Formal Analysis of Robustness at Model and Code Level

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

Session details: Reachability Computation

Session details: Models with Uncertainty

Session details: Time- and Event-based Models

Session details: Safety and Stability Analysis

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