Publications

Export 110 results:
[ Author(Desc)] Title Type Year
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 
M
Collision-Free 3D Flocking Using the Distributed Simplex Architecture, Mehmood, U., Grosu R., Smolka S. A., and Stoller S. D. , Proceedings of ISoLA Extra in Rhodes, 10/2021, (2021)
Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro, Munoz, Laura, Gelzer Anna R. M., Fenton Flavio, Qian Wei, Lin WeiYe, Gilmour Robert F., and Otani Niels F. , Journal of the American Heart Association, 09, Volume 7, (2018)  (4.08 MB)
Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability, Murthy, A., , Smolka S. A., and Grosu R. , Nonlinear Analysis: Hybrid Systems, 05/2016, (2016)
P
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties, Paoletti, Nicola, Liu Kin Sum, Smolka Scott A., and Lin Shan , Computational Methods in Systems Biology, (2017)
Closed-loop quantitative verification of rate-adaptive pacemakers, Paoletti, Nicola, Patanè Andrea, and Kwiatkowska Marta , ACM Transactions on Cyber-Physical Systems, to appear, (2017)
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas, Paoletti, N., Liu K. S., Chen H., Smolka S. A., and Lin S. , IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11/2020, Volume 17, Issue 6, (2020)
Data-Driven Uncertainty Quantification for Cardiac Electrophysiological Models: Impact of Physiological Variability on Action Potential and Spiral Wave Dynamics, Pathmanathan, Pras, Galappaththige Suran K., Cordeiro Jonathan M., Kaboudian Abouzar, Fenton Flavio H., and Gray Richard A. , Frontiers in physiology, 11/2020, Volume 11, (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles, Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. , Formal Methods in System Design, 01/2017, (2017)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
R
A framework for decentralized opacity in linear systems, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), Sept, (2016)  (564.69 KB)
A framework for opacity in linear systems, Ramasubramanian, Bhaskar, Cleaveland Rance, and Marcus Steven I. , 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016, (2016)  (159.19 KB)
Opacity for switched linear systems: Notions and characterization, Ramasubramanian, B., Cleaveland R., and Marcus S. I. , 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec, (2017)  (512.18 KB)
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models, Rameh, Raffael Bechara, CHERRY ELIZABETH M., and Santos Rodrigo Weber dos , Communications in Nonlinear Science and Numerical Simulation, Volume 82, p.105066, (2020)
Security assurance cases for medical cyber–physical systems, Ray, Arnab, and Cleaveland Rance , IEEE Design & Test, Volume 32, p.56–65, (2015)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding, Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A. , Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
Learning Distributed Controllers for V-Formation, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
S
OpenUAV: A UAV Testbed for the CPS and Robotics Community, Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay , Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)  (825.63 KB)
Automated Specification Extraction and Analysis with Specstractor, Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael , Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems, Shmarov, Fedor, Paoletti Nicola, Bartocci Ezio, Lin Shan, Smolka Scott, and Zuliani Paolo , Haifa Verification Conference, to appear, (2017)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, Shmarov, F., Soudjani S., Paoletti N., Bartocci E., Lin S., Smolka S. A., and Zuliani P. , IEEE Access, (2020)
Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology, Shotwell, Matthew S., and Gray Richard A. , Journal of Agricultural, Biological, and Environmental Statistics, p.1–16, (2016)
Model-Checking Support for File System Development, Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E. , Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)

Pages