Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 33)

H-INDEX

3

(FIVE YEARS 3)

Published By ACM

9781450370189

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Does sample-time emulation preserve exponential stability?

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382221 ◽

2020 ◽

Author(s):

Anton V. Proskurnikov

Keyword(s):

Exponential Stability ◽

Download Full-text

Compositional construction of control barrier functions for interconnected control systems

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382196 ◽

2020 ◽

Author(s):

Pushpak Jagtap ◽

Abdalla Swikir ◽

Majid Zamani

Keyword(s):

Control Systems ◽

Barrier Functions

Download Full-text

Conformance verification for neural network models of glucose-insulin dynamics

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382210 ◽

2020 ◽

Author(s):

Taisa Kushner ◽

Sriram Sankaranarayanan ◽

Marc Breton

Keyword(s):

Neural Network ◽

Network Models ◽

Neural Network Models

Download Full-text

dtControl

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3383468 ◽

2020 ◽

Author(s):

Pranav Ashok ◽

Mathias Jackermeier ◽

Pushpak Jagtap ◽

Jan Křetínský ◽

Maximilian Weininger ◽

...

Download Full-text

Reachability analysis for hybrid systems with nonlinear guard sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382194 ◽

2020 ◽

Author(s):

Niklas Kochdumper ◽

Matthias Althoff

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Formal verification of braking while swerving in automobiles

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382217 ◽

2020 ◽

Author(s):

Aakash Abhishek ◽

Harry Sood ◽

Jean-Baptiste Jeannin

Keyword(s):

Formal Verification

Download Full-text

dtControl

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382220 ◽

2020 ◽

Author(s):

Pranav Ashok ◽

Mathias Jackermeier ◽

Pushpak Jagtap ◽

Jan Křetínský ◽

Maximilian Weininger ◽

...

Download Full-text

Worst-case topological entropy and minimal data rate for state observation of switched linear systems

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382195 ◽

2020 ◽

Author(s):

Guillaume O. Berger ◽

Raphaël M. Jungers

Keyword(s):

Linear Systems ◽

Topological Entropy ◽

Data Rate ◽

Switched Linear Systems ◽

State Observation ◽

Download Full-text

A simple hierarchy for computing controlled invariant sets

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382205 ◽

2020 ◽

Author(s):

Tzanis Anevlavis ◽

Paulo Tabuada

Keyword(s):

Download Full-text

AReN

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ◽

10.1145/3365365.3382213 ◽

2020 ◽

Author(s):

James Ferlez ◽

Yasser Shoukry

Download Full-text