Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is S  [Clear All Filters]
2018-05-11
Masashi Wakaiki, Kunihisa Okano, João P. Hespanha.  2017.  Stabilization of systems with asynchronous sensors and controllers. Automatica. 81:314–321.
Andrew R. Teel, João P. Hespanha.  2015.  Stochastic hybrid systems: a modeling and stability theory tutorial. Proc. of the 54th Conf. on Decision and Contr..
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada.  2017.  SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
Kunihisa Okano, Masashi Wakaiki, Guosong Yang, and João Pedro Hespanha.  Submitted.  Stabilization of networked control systems under clock offsets and quantization. IEEE Trans. on Automat. Contr..
David A. Copp.  2016.  Simultaneous Nonlinear Model Predictive Control and State Estimation: Theory and Applications.
Biron, Zoleikha Abdollahi, Dey, Satadru, Pisu, Pierluigi.  2016.  Sensor Fault Diagnosis of Connected Vehicles under imperfect Communication Network. ASME 2016 Dynamic Systems and Control Conference. :V001T16A003–V001T16A003.
Biron, Z Abdollahi, Pisu, P.  2016.  Sensor and Actuator Fault Detection in Connected Vehicles under a Packet Dropping Network. World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering. 10:1114–1120.
Taha, Ahmad Fayez.  2015.  Secure estimation, control and optimization of uncertain cyber-physical systems with applications to power networks.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Stability analysis of networked control systems with unknown inputs. Communication, Control, and Computing (Allerton), 2014 52nd Annual Allerton Conference on. :936–942.
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani.  2017.  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
Xie, J., Wan, Y., Lewis, F..  2017.  Strategic Air Traffic Management under Uncertainties using Scalable Sampling-based dynamic Programming and Q-learning Approaches. Proceedings of Asian Control Conference.
Xie, Junfei, Wan, Yan.  2015.  Scalable Multidimensional Uncertainty Evaluation Approach to Strategic Air Traffic Flow Management. AIAA Modeling and Simulation Technologies Conference.
Xie, Junfei, Wan, Yan, Mills, Kevin, Filliben, James J., Lewis, F. L..  2017.  A Scalable Sampling Method to High-Dimensional Uncertainties for Optimal and Reinforcement Learning-Based Controls. IEEE Control Systems Letters. 1:98–103.
Umsonst, David, Sandberg, Henrik, Cardenas, Alvaro A.  2017.  Security analysis of control system anomaly detectors. American Control Conference (ACC), 2017. :5500–5506.
Giraldo, Jairo, Sarkar, Esha, Cardenas, Alvaro, Maniatakos, Michail, Kantarcioglu, Murat.  2017.  Security and Privacy in Cyber-Physical Systems: A Survey of Surveys. IEEE Design & Test.
Giraldo, Jairo, Cardenas, Alvaro A, Kantarcioglu, Murat.  2017.  Security vs. privacy: How integrity attacks can be masked by the noise of differential privacy. American Control Conference (ACC), 2017. :1679–1684.
Wynn, Matthew,, Tillotson, Kyle,, Kao, Ryan,, Calderon, Andrea,, Murillo, Andres, Camargo, Javier,, Mantilla, Rafael,, Rangel, Brahian,, Cardenas, Alvaro A., Rueda, Sandra.  2017.  Sexual Intimacy in the Age of Smart Devices: Are we Practicing Safe IoT? 1st Workshop on Internet of Things Security and Privacy (IoTS&P '17).
Valente, Junia, Cardenas, Alvaro A..  2017.  Security & Privacy of Smart Toys. 1st Workshop on Internet of Things Security and Privacy (IoTS&P '17).
L. Vacek, E. Atter, P. Rizo, B. Nam, R. Kortvelesy, D. Kaufman, J. Das, V. Kumar.  2017.  sUAS for Deployment and Recovery of an Environmental Sensor Probe. IEEE International Conference on Unmanned Aircraft Systems (ICUAS) 2017.

Small Unmanned Aircraft Systems (sUAS) are already revolutionizing agricultural and environmental monitoring through the acquisition of high-resolution multi-spectral imagery on-demand. However, in order to accurately understand various complex environmental and agricultural processes, it is often necessary to collect physical samples of pests, pathogens, and insects from the field for ex-situ analysis. In this paper, we describe a sUAS for autonomous deployment and recovery of a novel environmental sensor probe. We present the UAS software and hardware stack, and a probe design that can be adapted to collect a variety of environmental samples and can be transported autonomously for off-site analysis. Our team participated in an NSF-sponsored student unmanned aerial vehicle (UAV) challenge, where we used our sUAS to deploy and recover a scale-model mosquito trap outdoors. Results from indoor and field trials are presented, and the challenges experienced in detecting and docking with the probe in outdoor conditions are discussed.

2018-05-10
Stanley Bak, Parasara Sridhar Duggirala.  2017.  Simulation-Equivalent Reachability of Large Linear Systems with Inputs. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :401–420.
Ricart, Glenn.  2016.  Slicing in locavore infrastructures. Proceedings of the 4th Workshop on Distributed Cloud Computing. :4.
2018-03-29
Dan Boneh, Shay Gueron.  2017.  Surnaming Schemes, Fast Verification, and Applications to SGX Technology. Topics in Cryptology - {CT-RSA} 2017. :149–164.