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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By ACM

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

scholarly journals dtControl

2020 ◽  
Author(s):  
Pranav Ashok ◽  
Mathias Jackermeier ◽  
Pushpak Jagtap ◽  
Jan Křetínský ◽  
Maximilian Weininger ◽  
...  

Formal verification of braking while swerving in automobiles

2020 ◽  
Author(s):  
Aakash Abhishek ◽  
Harry Sood ◽  
Jean-Baptiste Jeannin
Keyword(s):  
Formal Verification

scholarly journals dtControl

2020 ◽  
Author(s):  
Pranav Ashok ◽  
Mathias Jackermeier ◽  
Pushpak Jagtap ◽  
Jan Křetínský ◽  
Maximilian Weininger ◽  
...  

scholarly journals Resilient abstraction-based controller design

2020 ◽  
Author(s):  
Stanly Samuel ◽  
Kaushik Mallik ◽  
Anne-Kathrin Schmuck ◽  
Daniel Neider
Keyword(s):  
Controller Design
Load More ...
Sign in / Sign up

Export Citation Format

Share Document