8 citations · 23 across the 15 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2020
Safe and efficient collision avoidance control for autonomous vehicles
Qiang Wang, Dachuan Li, Joseph Sifakis
We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled…
eess.SY2018
Autonomous Systems -- An Architectural Characterization
Joseph Sifakis
The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability…
eess.SY2018
System Design in the Era of IoT --- Meeting the Autonomy Challenge
Joseph Sifakis
The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it req…