Visible to the public Biblio

Found 279 results

Filters: First Letter Of Last Name is R  [Clear All Filters]
2018-05-14
S. Brahma, R. Kavasseri, H. Cao, N. R. Chaudhuri, T. Alexopoulos, Y. Cui.  2017.  Real-Time Identification of Dynamic Events in Power Systems Using PMU Data, and Potential Applications #8212;Models, Promises, and Challenges. IEEE Transactions on Power Delivery. 32:294-301.
Y. Cui, R. G. Kavasseri, S. M. Brahma.  2017.  Dynamic State Estimation Assisted Out-of-Step Detection for Generators Using Angular Difference. IEEE Transactions on Power Delivery. 32:1441-1449.
Y. Cui, R. Kavasseri, S. Brahma.  2016.  Dynamic state estimation assisted posturing for generator out-of-step protection. 2016 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
Wil Thomason, Ross A. Knepper.  2017.  Heterogeneity and Diversity for Resilience in Multi-Robot Systems. Workshop on Heterogeneity and Diversity for Resilience in Multi- Robot Systems.
Wil Thomason, Ross A. Knepper.  2018.  Capability Modeling for Task and Motion Planning in Ad Hoc Multi-Robot Teams. IEEE International Conference on Robotics and Automation (ICRA).
Dougald, Lance, Rescot, Robert A, Qu, Shuo, Noteboom, Rebecca, Nafakh, Ahmad, Boot, Walter, Charness, Neil, Roque, Nelson, Barajas, Kimberly, Dirghalli, Jared et al..  2015.  Evaluation of a Rectangular Rapid Flashing Beacon System at the Belmont Ridge Road and W & OD Trail Mid-Block Crosswalk.
Rindels, Max, Zitzow, Stephen, Hourdos, John.  2016.  Evaluation of the Effectiveness of ATM Messages Used During Incidents.
Richfield, Veronica, Hourdos, John, Asher, Kristin.  2014.  Before/After Study on the Effects of Signage and Striping on the Safety of a Modern Two-Lane Roundabout. Transportation Research Board 93rd Annual Meeting.
Hourdos, John, Richfield, Veronica.  2014.  Effect of Signing and Lane Markings on the Safety of a Two-Lane Roundabout.
Phanomchoeng, Gridsada, Rajamani, Rajesh, Hourdos, John.  2010.  Directional Sound for Long-Distance Auditory Warnings From a Highway Construction Work Zone. IEEE Transactions on Vehicular Technology. 59:2266–2276.
Hourdos, John, Richfield, Veronica, Shauer, Melissa.  2012.  Investigation of Pedestrian/Bicyclist Risk in Minnesota Roundabout Crossings.
Richfield, Veronica, Hourdos, John.  2013.  Effect of Signs and Striping on Roundabout Safety: An Observational Before/After Study. Transportation Research Board 92nd Annual Meeting.
Phanomchoeng, Gridsada, Rajamani, Rajesh, Hourdos, John.  2008.  Directional Sound for Long Distance Auditory Warnings from a Highway Construction Zone.
Srinivas Pinisetty, Partha S Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime Enforcement of Cyber-Physical Systems. International Conference on Embedded Software (EMSOFT).
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.
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime enforcement of reactive systems using synchronous enforcers. Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. :80–89.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal.  2016.  Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. Signal Processing Systems. 85:23–43.
[Anonymous].  2017.  Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science. 10231
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
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.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang.  2014.  On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014. :51–58.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2014.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
2018-05-11
Amr Alanwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani Srivastava.  2017.  D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proc. of the ACM MOBIHOC.
Risbud, Paresh, Gatsis, Nikolaos, Taha, Ahmad.  2016.  Assessing power system state estimation accuracy with GPS-spoofed PMU Measurements. Innovative Smart Grid Technologies Conference (ISGT), 2016 IEEE Power & Energy Society. :1–5.