Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2014.  Synthesizing Finite-State Protocols from Scenarios and Requirements. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. :75–91.
Nilsson, Petter, Ozay, Necmiye.  2016.  Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
Dallal, Eric, Neider, Daniel, Tabuada, Paulo.  2016.  Synthesis of safety controllers robust to unmodeled intermittent disturbances. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7425–7430.
S. Phillips, R.G. Sanfelice.  2015.  Synchronization of Two Linear Systems over Intermittent Communication Networks with Robustness. Proceedings of the IEEE Conference on Decision and Control. :5569–5574.
Coogan, S., Arcak, M..  2016.  Symmetric monotone embedding of traffic flow networks with first-in-first-out dynamics. Proceedings of the 10th IFAC Symposium on Nonlinear Control Systems. :640-645.
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.

Song Tan, Debraj De, WenZhan Song, Junjie Yang, Sajal Das.  2017.  Survey of Security Advances in Smart Grid: A Data Driven Approach. IEEE Communications Surveys and Tutorials. 18:397-422.
S. Tan, D. De, W-Z Song, J.Yang, S.K.Das.  Submitted.  Survey of Security Advances in Smart Grid: A Data Driven Approach. IEEE Communications Surveys & Tutorials. 19:397–422.
Dan Boneh, Shay Gueron.  2017.  Surnaming Schemes, Fast Verification, and Applications to SGX Technology. Topics in Cryptology - {CT-RSA} 2017. :149–164.
G. Bloom, G. Cena, I. C. Bertolotti, T. Hu, A. Valenzano.  2017.  Supporting security protocols on CAN-based networks. 2017 IEEE International Conference on Industrial Technology (ICIT). :1334-1339.
Kirill Trapeznikov, Venkatesh Saligrama.  2013.  Supervised Sequential Classification Under Budget Constraints. Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2013, Scottsdale, AZ, USA, April 29 - May 1, 2013. 31:581–589.
B. J. White, D. J. Berg, J. Y. Kan, R. A. Marino, L. Itti, D. P. Munoz.  2017.  Superior colliculus neurons encode a visual saliency map during free viewing of natural dynamic video. Nature Communications. 8:1-9.

Models of visual attention postulate the existence of a saliency map whose function is to guide attention and gaze to the most conspicuous regions in a visual scene. Although cortical representations of saliency have been reported, there is mounting evidence for a subcortical saliency mechanism, which pre-dates the evolution of neocortex. Here, we conduct a strong test of the saliency hypothesis by comparing the output of a well-established computational saliency model with the activation of neurons in the primate superior colliculus (SC), a midbrain structure associated with attention and gaze, while monkeys watched video of natural scenes. We find that the activity of SC superficial visual-layer neurons (SCs), specifically, is well-predicted by the model. This saliency representation is unlikely to be inherited from fronto-parietal cortices, which do not project to SCs, but may be computed in SCs and relayed to other areas via tectothalamic pathways.

N. Risso, R. G. Sanfelice.  2017.  Sufficient Conditions for Asymptotic Stability and Feedback Control of Set Dynamical Systems. Proceedings of the American Control Conference. :1923–1928.