Visible to the public Biblio

Found 142 results

Filters: First Letter Of Last Name 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]
S. A. Seshia, S. Hu, W. Li, Q. Zhu.  2017.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:1421–1434.
S. Amini, H. Mohsenian-Rad, F. Pasqualetti.  2015.  Dynamic Load Altering Attacks in Smart Grid. IEEE PES Conf. on Innovative Smart Grid Technologies (ISGT).
S. Bhattacharjee, S. K. Das.  Submitted.  A Harmonic Mean Comparison Approach for Defense Against Data falsification in IoT Networks. IEEE Transactions on Dependable and Secure Computing.
S. Bhattacharjee, A. Thakur,, S. K. Das.  Submitted.  Towards Real Time Detection of Stealthy Data Falsification in Smart Meter Infrastructure. IEEE Transactions on Dependable and Secure Computing (Submitted July 2017).
S. Bhattacharjee, N. Ghosh, V. K. Shah,, S. K. Das.  2017.  QnQ: A Reputation Model to Secure Mobile Crowdsourcing Applications from Incentive Losses. Proceedings of the IEEE Conference on Communications and Network Security (CNS), Las Vegas, NV, Oct 2017. :35–45.
S. C. Jackson, B. McMillin.  2017.  Application of Congestion Notifications in a Cyber-Physical System. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). :165-174.
S. Chen, J. Weimer, M. Rickels, A. Peleckis, I. Lee.  Submitted.  Physiology-Invariant Meal Detection for Type 1 Diabetes. Diabetes Technology and Therapeutics", year 201.

online first

S. Coogan, M. Arcak, C. Belta.  2017.  Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models. IEEE Control Systems. 37:109-128},%keywords={Junctions;Roads;Safety;Trafficcontrol;Vehicledynamics.

Today's increasingly populous cities require intelligent transportation systems that make efficient use of existing transportation infrastructure. However, inefficient traffic management is pervasive, costing US\$160 billion in the United States in 2015, including 6.9 billion hours of additional travel time and 3.1 billion gallons of wasted fuel. To mitigate these costs, the next generation of transportation systems will include connected vehicles, connected infrastructure, and increased automation. In addition, these advances must coexist with legacy technology into the foreseeable future. This complexity makes the goal of improved mobility and safety even more daunting.

S. Coogan, E. A. Gol, M. Arcak, C. Belta.  2016.  Traffic Network Control From Temporal Logic Specifications. IEEE Transactions on Control of Network Systems. 3:162-172.

We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which enables reaching set computations that scale linearly with the dimension of the continuous state space.}, %keywords={Indexes;Roads;Throughput;Trajectory;Vehicle dynamics;Vehicles;Finite state abstraction;linear temporal logic;transportation networks

S. Han, U. Topcu, G. J. Pappas.  2017.  Quantification on the efficiency gain of automated ridesharing services. 2017 American Control Conference (ACC). :3560-3566.
S. Mayya, M. Egerstedt.  2017.  Safe Open-Loop Strategies for Handling Intermittent Communications in Multi-Robot Systems. {IEEE} International Conference on Robotics and Automation.
S. Munir, J. A. Stankovic.  2014.  FailureSense: Detecting Sensor Failure Using Electrical Appliances in the Home. 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems. :73-81.
S. Munir, J. A. Stankovic.  2014.  DepSys: Dependency aware integration of cyber-physical systems for smart homes. 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :127-138.
S. Munir, J. A. Stankovic, C. J. M. Liang, S. Lin.  2014.  Reducing Energy Waste for Computers by Human-in-the-Loop Control. IEEE Transactions on Emerging Topics in Computing. 2:448-460.
S. Phillips, R. G. Sanfelice.  2017.  On Asymptotic Synchronization of Interconnected Hybrid Systems with Applications. Proceedings of the American Control Conference. :2291–2296.
S. Phillips, Y. Li, R. G. Sanfelice.  2016.  On Distributed Intermittent Consensus for First-Order Systems with Robustness. Proceedings of 10th IFAC Symposium on Nonlinear Control Systems. :146–151.
S. Phillips, R. G. Sanfelice.  2016.  Robust Synchronization of Interconnected Linear Systems over Intermittent Communication Networks. Proceedings of the American Control Conference. :5575–5580.

The property of synchronization of multiple identical linear time-invariant (LTI) systems connected through a graph in a network with stochastically-driven isolated communication events is studied. More precisely, the goal is to design a feedback controller that, using information obtained over such networks, asymptotically drives the values of their states to synchronization and render the synchronization condition Lyapunov stable. To solve this problem, we propose a controller with hybrid dynamics, namely, the controller exhibits continuous dynamics between communication events while it has variables that jump at such events. Due to the additional continuous and discrete dynamics inherent to the networked systems and communication structure, we use a hybrid systems framework to model the closed-loop system and design the controller. The problem of synchronization is then recast as a compact set stabilization problem and, by employing Lyapunov stability tools for hybrid systems, sufficient conditions for asymptotic stability of the synchronization set are provided. Furthermore, we show that synchronization property is robust to a class of perturbations on the transmitted data. Numerical examples illustrate the main results.