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

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

9781450345903

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abnormal Data Classification Using Time-Frequency Temporal Logic

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

10.1145/3049797.3049809 ◽

2017 ◽

Author(s):

Luan Viet Nguyen ◽

James Kapinski ◽

Xiaoqing Jin ◽

Jyotirmoy V. Deshmukh ◽

Ken Butts ◽

...

Keyword(s):

Temporal Logic ◽

Data Classification ◽

Download Full-text

Robust Model Checking of Timed Automata under Clock Drifts

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

10.1145/3049797.3049821 ◽

2017 ◽

Author(s):

Nima Roohi ◽

Pavithra Prabhakar ◽

Mahesh Viswanathan

Keyword(s):

Model Checking ◽

Timed Automata ◽

Download Full-text

Sapo

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

10.1145/3049797.3049824 ◽

2017 ◽

Author(s):

Tommaso Dreossi

Download Full-text

Session details: Temporal Logics

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

10.1145/3257281 ◽

2017 ◽

Author(s):

Sicun Gao

Keyword(s):

Temporal Logics

Download Full-text

Session details: Verification II

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

10.1145/3257280 ◽

2017 ◽

Author(s):

André Platzer

Download Full-text

Session details: Verification I

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

10.1145/3257276 ◽

2017 ◽

Author(s):

Antoine Girard

Download Full-text

Reachability Computation for Switching Diffusions

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

10.1145/3049797.3049812 ◽

2017 ◽

Author(s):

Luca Laurenti ◽

Alessandro Abate ◽

Luca Bortolussi ◽

Luca Cardelli ◽

Milan Ceska ◽

...

Keyword(s):

Switching Diffusions

Download Full-text

Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints

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

10.1145/3049797.3049807 ◽

2017 ◽

Author(s):

Andrew M. Pace ◽

Samuel A. Burden

Keyword(s):

Mechanical Systems ◽

Unilateral Constraints

Download Full-text

Bipedal Robotic Running with DURUS-2D

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

10.1145/3049797.3049823 ◽

2017 ◽

Author(s):

Wen-Loong Ma ◽

Shishir Kolathaya ◽

Eric R. Ambrose ◽

Christian M. Hubicki ◽

Aaron D. Ames

Download Full-text

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems

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

10.1145/3049797.3049810 ◽

2017 ◽

Author(s):

Petter Nilsson ◽

Necmiye Ozay

Keyword(s):

Switched Systems ◽

Control Strategies ◽

Maximal Invariance

Download Full-text