Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 41)

H-INDEX

(FIVE YEARS 7)

Published By ACM Press

9781450362825

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structured reward functions using STL

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3313355 ◽

2019 ◽

Cited By ~ 1

Author(s):

Anand Balakrishnan ◽

Jyotirmoy V. Deshmukh

Keyword(s):

Reward Functions

Download Full-text

Efficiency through uncertainty

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311805 ◽

2019 ◽

Cited By ~ 4

Author(s):

Nathalie Cauchi ◽

Luca Laurenti ◽

Morteza Lahijanian ◽

Alessandro Abate ◽

Marta Kwiatkowska ◽

...

Download Full-text

Verification and synthesis of interconnected embedded control systems under timing contracts

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311799 ◽

2019 ◽

Author(s):

Mohammad Al Khatib ◽

Majid Zamani

Keyword(s):

Control Systems ◽

Embedded Control ◽

Embedded Control Systems

Download Full-text

Predictive monitoring for signal temporal logic with probabilistic guarantees

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3313353 ◽

2019 ◽

Cited By ~ 1

Author(s):

Xin Qin ◽

Jyotirmoy V. Deshmukh

Keyword(s):

Temporal Logic

Download Full-text

Equalized recovery: Weakening invariance for control and estimation

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3313358 ◽

2019 ◽

Author(s):

Kwesi Rutledge ◽

Sze Zheng Yong ◽

Necmiye Ozay

Download Full-text

Temporal logic robustness for general signal classes

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311817 ◽

2019 ◽

Cited By ~ 3

Author(s):

Houssam Abbas ◽

Yash Vardhan Pant ◽

Rahul Mangharam

Keyword(s):

Temporal Logic

Download Full-text

Gray-box adversarial testing for control systems with machine learning components

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311814 ◽

2019 ◽

Cited By ~ 11

Author(s):

Shakiba Yaghoubi ◽

Georgios Fainekos

Keyword(s):

Machine Learning ◽

Control Systems

Download Full-text

Reachability analysis for neural feedback systems using regressive polynomial rule inference

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311807 ◽

2019 ◽

Cited By ~ 16

Author(s):

Souradeep Dutta ◽

Xin Chen ◽

Sriram Sankaranarayanan

Keyword(s):

Reachability Analysis ◽

Feedback Systems ◽

Neural Feedback ◽

Rule Inference

Download Full-text

Interface-aware signal temporal logic

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311800 ◽

2019 ◽

Cited By ~ 7

Author(s):

Thomas Ferrère ◽

Dejan Nickovic ◽

Alexandre Donzé ◽

Hisahiro Ito ◽

James Kapinski

Keyword(s):

Temporal Logic

Download Full-text

Characterizations of safety in hybrid inclusions via barrier functions

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 ◽

10.1145/3302504.3311816 ◽

2019 ◽

Cited By ~ 7

Author(s):

Mohamed Maghenem ◽

Ricardo G. Sanfelice

Keyword(s):

Barrier Functions

Download Full-text

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Structured reward functions using STL

Efficiency through uncertainty

Verification and synthesis of interconnected embedded control systems under timing contracts

Predictive monitoring for signal temporal logic with probabilistic guarantees

Equalized recovery: Weakening invariance for control and estimation

Temporal logic robustness for general signal classes

Gray-box adversarial testing for control systems with machine learning components

Reachability analysis for neural feedback systems using regressive polynomial rule inference

Interface-aware signal temporal logic

Characterizations of safety in hybrid inclusions via barrier functions

Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19
Latest Publications