Visible to the public Biblio

Filters: Author is Sanjit A. Seshia  [Clear All Filters]
Dorsa Sadigh, Anca Dragan, Shankar Sastry, Sanjit A. Seshia.  2017.  Active Preference-Based Learning of Reward Functions. Proceedings of the Robotics: Science and Systems Conference (RSS).
Marcell Vazquez{-}Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia.  2017.  Logical Clustering and Learning for Time-Series Data. 29th International Conference on Computer Aided Verification (CAV). :305–325.
Eric S. Kim, Murat Arcak, Sanjit A. Seshia.  2017.  Symbolic control design for monotone systems with directed specifications. Automatica. 83:10-19.

We study the control of monotone systems when the objective is to maintain trajectories in a directed set (that is, either upper or lower set) within a signal space. We define the notion of a directed alternating simulation relation and show how it can be used to tackle common bottlenecks in abstraction-based controller synthesis. First, we develop sparse abstractions to speed up the controller synthesis procedure by reducing the number of transitions. Next, we enable a compositional synthesis approach by employing directed assume-guarantee contracts between systems. In a vehicle traffic network example, we synthesize an intersection signal controller while dramatically reducing runtime and memory requirements compared to previous approaches.

Dorsa Sadigh, Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan.  2016.  Information Gathering Actions Over Human Internal State. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). :66–73.