[cora] reachability analysis for hybrid systems: bouncing ball
Published 5 months ago • 82 plays • Length 1:04Download video MP4
Download video MP3
Similar videos
-
![[cora] reachability analysis for continuous systems: beam benchmark](https://i.ytimg.com/vi/8l_CSszrjNI/mqdefault.jpg)
1:06
[cora] reachability analysis for continuous systems: beam benchmark
-
![[cora] reachability analysis for continuous systems: adaptive algorithm for linear systems](https://i.ytimg.com/vi/A0swUdHS-9g/mqdefault.jpg)
1:07
[cora] reachability analysis for continuous systems: adaptive algorithm for linear systems
-
![[cora] reachability analysis for continuous systems: van-der-pol oscillator](https://i.ytimg.com/vi/BqRy4bBGn6E/mqdefault.jpg)
1:10
[cora] reachability analysis for continuous systems: van-der-pol oscillator
-
![[cora] reachability analysis for continuous systems: autonomous car](https://i.ytimg.com/vi/RiPfI2m4agc/mqdefault.jpg)
1:06
[cora] reachability analysis for continuous systems: autonomous car
-
2:57
who we are?
-
1:03
symmetry-based modeling and hybrid orientation-force control of wearable cutaneous haptic device
-
![[corl 2021] safe nonlinear control using robust neural lyapunov-barrier functions](https://i.ytimg.com/vi/4MWVLtURxG0/mqdefault.jpg)
1:07
[corl 2021] safe nonlinear control using robust neural lyapunov-barrier functions