Visible to the public Biblio

Found 1750 results

Unpublished
Sen Li, Wei Zhang, Lin Zhao.  2017.  Connections between Mean-Field Game and Social Welfare Optimization.

under review

Nguyen, Ngoc-Tu, Leu, Ming, Liu, Xiaoqing Frank.  2017.  Real-time Communication for Manufacturing Cyber-Physical Systems. Proc. of 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA).
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donze, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan.  2017.  Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

On-line at: \url{http://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf}

Lin Zhao, Wei Zhang.  2017.  A Unified Stochastic Hybrid System Approach to Aggregated Load Modeling for Demand Response.

under review

Thesis
Urbina Fuentes, David Ignacio, others.  2016.  Deep Packet Inspection for Physics-based Anomaly Detection in Industrial Control Systems.
Xiaotong Zhang.  2016.  Design and Synthesis of a Hierarchical Hybrid Controller for Quadrotor Navigation.
Hussein Hasan.  2015.  Design, development, and modeling of a wirelessly charged robotic fish.
Bardh Hoxha.  2017.  Formal Requirements-Driven Analysis of Cyber Physical Systems.
Adel Dokhanchi.  2017.  From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems.
Heaslip II, Kevin Patrick.  2007.  Modeling driver behavior in work zones: An evaluation of traffic flow impacts in freeway work zones with full lane closures.
Alex Gyori.  2017.  Proactively Detecting Unreliable Tests.
Michael Adkins.  2017.  Quality-Aware Convergecast Voice Streaming System for Mobile Low Power Wireless Networks.
[Anonymous].  2016.  Role of pectoral fin flexibility in robotic fish performance.
Taha, Ahmad Fayez.  2015.  Secure estimation, control and optimization of uncertain cyber-physical systems with applications to power networks.
Earlence Fernandes.  2017.  Securing Personal IoT Platforms Through Systematic Analysis and Design.
David A. Copp.  2016.  Simultaneous Nonlinear Model Predictive Control and State Estimation: Theory and Applications.
Houssam Abbas.  2015.  Test-Based Falsification and Conformance Testing for Cyber-Physical Systems.

\url{http://hdl.handle.net/2286/R.I.29861}

Joseph Campbell.  2016.  Traffic Light Status Detection Using Movement Patterns of Vehicles.
Serulle, Nayel Urena.  2011.  Transportation network resiliency: A fuzzy systems approach.
Miscellaneous
Hourdos, John.  2005.  Advanced Portable Wireless Measurement and Observation Station.
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  Architecture-based Design and Analysis with BIP.
Georgios Fainekos.  2017.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
Georgios Fainekos.  2016.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
Feng, Yiheng, Hourdos, John, Davis, Gary A.  2012.  Bayesian model for constructing arterial travel time distributions using gps probe vehicles.
Gong, Jie, Heaslip, Kevin, McNeil, Sue, Farzan, Farbod, Brink, Susan.  2016.  Big Data: Opportunities and Challenges in Asset Management.