Visible to the public Biblio

Found 508 results

Filters: First Letter Of Last Name is S  [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.
Qi Han, Yu Bao, Sudeep Pasricha.  2017.  Improving Safety in Cyber Enabled Underground Mines.
Hourdos, John, Lehrke, Derek, Duhn, Melissa, Ermagun, Alireza, Singer-Berk, Lila, Lindsey, Greg.  2017.  Traffic Impacts of Bicycle Facilities.
Hourdos, John, Liu, Zhejun, Dirks, Peter, Liu, Henry X, Huang, Shihong, Sun, Weili, Xiao, Lin.  2017.  Development of a Queue Warning System Utilizing ATM Infrastructure System Development and Field-Testing.
Stanitsas, Panagiotis, Hourdos, John, Zitzow, Stephen.  2014.  Evaluation of the Effect of MnPASS Lane Design on Mobility and Safety.
Michalopoulos, Panos, Hourdakis, John, Muralidhar, KA, Sekhar, A, Subramaniam, VK.  2002.  Employment of the Traffic Management Laboratory (TRAMLAB) for Evaluating Ramp Control Strategies in the Twin Cities.
Michalopoulos, Panos, Hourdakis, John, Sinha, Prasoon.  2005.  Future TMC Operations System Prototype and Testing Facility: Phase II.
Stephanedes, Yorgos, Hourdakis, John.  1996.  Transferability of freeway incident detection algorithms. Transportation Research Record: Journal of the Transportation Research Board. :184–195.
Hourdos, John, Richfield, Veronica, Shauer, Melissa.  2012.  Investigation of Pedestrian/Bicyclist Risk in Minnesota Roundabout Crossings.
Schively Slotterback, Carissa, Hourdos, John.  2009.  Technology in Planning and Participatory Processes: Identifying New Synergies through Real World Application.
Stanitsas, Panagiotis D, Hourdos, John.  2013.  Simulating Realistic Shockwave Propagation on HOT Lanes. Transportation Research Board 92nd Annual Meeting.
Hourdos, John, Shauer, Melissa, Davis, Gary A.  2012.  An Observational Study of Pedestrian and Bicycle Crossing Experience in Two Modern Urban Roundabouts.
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.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.  2017.  Predictive runtime enforcement. Formal Methods in System Design. 51:154–199.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa.  2017.  Predictive runtime verification of timed properties. Journal of Systems and Software. 132:353–365.
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis.  2017.  Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. :194–209.
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.  2016.  Compositional Model-Based System Design and Other Foundations for Mastering Change. T. Foundations for Mastering Change. 1:113–129.
Stavros Tripakis.  2016.  Compositionality in the Science of System Design. Proceedings of the {IEEE}. 104:960–972.
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.