Visible to the public Biblio

Filters: Author is Sanjit A. Seshia  [Clear All Filters]
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.
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).
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.
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.