Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is S  [Clear All Filters]
2018-05-15
F. Ferrante, F. Gouaisbaut, R. G. Sanfelice, S. Tarbouriech.  2016.  State Estimation of Linear Systems in the Presence of Sporadic Measurements. Automatica. 73:101–109.
Zhang, Yilan, O’Connor, Sean M, van der Linden, Gwendolyn W, Prakash, Atul, Lynch, Jerome P.  2016.  SenStore: a scalable cyberinfrastructure platform for implementation of data-to-decision frameworks for infrastructure health management. Journal of Computing in Civil Engineering. 30:04016012.
B. Niemoczynski, S. Biswas, J. Kollmer.  2016.  Stability of discrete-time networked control systems under denial of service attacks. 2016 Resilience Week (RWS). :119-124.
2018-05-14
A. A. Ezzat, A. Pourhabib, Y. Ding.  2017.  Sequential design for functional calibration of computer models. Technometrics. accepted
McCrimmon, Colin M, Wang, Ming, Lopes, Lucas Silva, Wang, Po T, Karimi-Bidhendi, Alireza, Liu, Charles Y, Heydari, Payam, Nenadic, Zoran, Do, An H.  2016.  A small, portable, battery-powered brain-computer interface system for motor rehabilitation. Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the. :2776–2779.
Awad, Louis N., Bae, Jaehyun, O’Donnell, Kathleen, De Rossi, Stefano M. M., Hendron, Kathryn, Sloot, Lizeth H., Kudzia, Pawel, Allen, Stephen, Holt, Kenneth G., Ellis, Terry D. et al..  2017.  A soft robotic exosuit improves walking in patients after stroke. Science Translational Medicine. 9
J. Bae, S. M. M. De Rossi, K. O'Donnell, K. L. Hendron, L. N. Awad, T. R. Teles Dos Santos, V. L. De Araujo, Y. Ding, K. G. Holt, T. D. Ellis et al..  2015.  A soft exosuit for patients with stroke: Feasibility study with a mobile off-board actuation unit. 2015 IEEE International Conference on Rehabilitation Robotics (ICORR). :131-138.
Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Dumont.  2015.  Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. {IEEE Transactions on Automatic Control}. 60
Abraham Vinod, Meeko Oishi.  2017.  Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control Systems Letters. 1:316–321.
Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia.  2014.  Stochastic Reachability Based Motion Planning for Multiple Moving Obstacle Avoidance. Hybrid Systems: Computation and Control. :51–60.
A. P. Vinod, M. M. K. Oishi.  2017.  Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.

to appear

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.
Davis, Gary A, Gao, Jingru, Hourdos, John.  2017.  Safety Impacts of the I-35W Improvements Done Under Minnesota’s Urban Partnership Agreement (UPA) Project.
Davis, Gary A, Moshtagh, Vahid, Hourdos, John.  2016.  Safety-Related Guidelines for Time-of-Day Changes in Left-Turn Phasing. Transportation Research Record: Journal of the Transportation Research Board. :100–107.
Parikh, Gordon, Hourdos, John.  2015.  Simulation Platform for Planning and Operational Evaluation of HOT Lanes. Transportation Research Board 94th Annual Meeting.
Michalopoulos, Panos G, Hourdakis, John.  2000.  Simplifying Simulation for ITS Applications. ITS America 10th Annual Meeting and Exposition: Revolutionary Thinking, Real Results.
Xin, Wuping, Hourdos, John.  2008.  A Spline-based Bi-level Optimization Approach for Extracting Accurate Vehicle Trajectories. 15th World Congress on Intelligent Transport Systems and ITS America's 2008 Annual MeetingITS AmericaERTICOITS JapanTransCore.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos.  2006.  Streamlining of the Traffic Modeling Process for Implementation in the Twin Cities Freeway Network-Phase II.
Stanitsas, Panagiotis D, Hourdos, John.  2013.  Simulating Realistic Shockwave Propagation on HOT Lanes. Transportation Research Board 92nd Annual Meeting.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2017.  Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems. 27:209–260.
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis.  2016.  Step revision in hybrid Co-simulation with FMI. 2016 {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20, 2016. :173–183.
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.
Munir, Arslan.  2017.  Safety Assessment and Design of Dependable Cybercars: For today and the future. IEEE Consumer Electronics Magazine. 6:69-77.
2018-05-11
Huang, Chao, Wang, Dong, Chawla, Nitesh.  2017.  Scalable Uncertainty-Aware Truth Discovery in Big Data Social Sensing Applications for Cyber-Physical Systems. IEEE Transactions on Big Data.
Masashi Wakaiki, Kunihisa Okano, João Pedro Hespanha.  2015.  Stabilization of networked control systems with clock offset. Proc. of the 2015 Amer. Contr. Conf..