Bruce H. Krogh

150 papers A* 8A 7B 1C 28Misc 2Journal 44Unranked 58

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems. IEEE Trans. Autom. Control. Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli
2024	J	`jnl`	Reducing Attack Opportunities Through Decentralized Event-Triggered Control. IEEE Trans. Control. Netw. Syst. Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2023	J	`jnl`	Runtime System Support for CPS Software Rejuvenation. IEEE Trans. Emerg. Top. Comput. Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Dimov Hristozov, Bruno Sinopoli
2023	J	`jnl`	Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Trans. Control. Syst. Technol. Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Dimov Hristozov, Bruno Sinopoli
2022	J	`jnl`	Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems. CoRR Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli
2022	J	`jnl`	Reducing Attack Opportunities Through Decentralized Event-Triggered Control. CoRR Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2021	—	`conf`	Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control. CDC Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2021	C	`conf`	Resilient Control in the Presence of Man-in-the-Middle Attacks. ACC Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2020	—	`conf`	Decentralized Event-Triggered Control in the Presence of Adversaries. CDC Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2020	C	`conf`	Robust Software Rejuvenation for CPS with State Estimation and Disturbances. ACC Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2020	C	`conf`	Secure Networked Control for Decentralized Systems via Software Rejuvenation. ACC Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2019	C	`conf`	Design of Software Rejuvenation for CPS Security Using Invariant Sets. ACC Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2019	—	`conf`	Safety and Liveness of Software Rejuvenation for Secure Tracking Control. ECC Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2019	—	`conf`	Secure Networked Control via Software Rejuvenation. CDC Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2018	J	`jnl`	Design of Software Rejuvenation for CPS Security Using Invariant Sets. CoRR Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
2018	J	`jnl`	Software Rejuvenation for Secure Tracking Control. CoRR Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli
2016	—	`conf`	Stochastic Simulator for Smart Microgrid Planning. ACM DEV Jesse Thornburg, Bruce H. Krogh, Taha Selim Ustun
2015	J	`jnl`	Forward Invariant Cuts to Simplify Proofs of Safety. CoRR Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
2015	Misc	`conf`	Forward invariant cuts to simplify proofs of safety. EMSOFT Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
2014	C	`conf`	Decentralized identification of building models. ACC Clarence Agbi, Bruce H. Krogh
2014	—	`conf`	Numerically-aided Deductive Safety Proof for a Powertrain Control System. NSV Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
2014	J	`jnl`	Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. Matthias Althoff, Bruce H. Krogh
2014	J	`jnl`	Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl
2014	C	`conf`	Using verified control envelopes for safe controller design. ACC Nikos Aréchiga, Bruce H. Krogh
2013	—	`conf`	A moving horizon state estimator in the control of thermostatically controlled loads for demand response. SmartGridComm Emre Can Kara, J. Zico Kolter, Mario Berges, Bruce H. Krogh, Gabriela Hug, Tugçe Yüksel
2013	—	`conf`	Compositional heterogeneous abstraction. HSCC Akshay Rajhans, Bruce H. Krogh
2013	J	`jnl`	Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi
2012	J	`jnl`	A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proc. IEEE Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang
2012	—	`conf`	Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC Matthias Althoff, Bruce H. Krogh
2012	—	`conf`	Heterogeneous verification of cyber-physical systems using behavior relations. HSCC Akshay Rajhans, Bruce H. Krogh
2012	—	`conf`	Parameter identifiability for multi-zone building models. CDC Clarence Agbi, Zhen Song, Bruce H. Krogh
2012	—	`conf`	Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework. SmartGridComm Emre Can Kara, Mario Berges, Bruce H. Krogh, Soummya Kar
2012	C	`conf`	Using theorem provers to guarantee closed-loop system properties. ACC Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh
2011	A	`conf`	Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
2011	C	`conf`	Passivity-based robust control for power systems subject to wind power variability. ACC Juhua Liu, Bruce H. Krogh, B. Erik Ydstie
2011	—	`conf`	Reachable set computation for uncertain time-varying linear systems. HSCC Matthias Althoff, Colas Le Guernic, Bruce H. Krogh
2011	—	`conf`	Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan
2011	—	`conf`	View Consistency in Architectures for Cyber-Physical Systems. ICCPS Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl
2011	J	`jnl`	Wind Integration in Power Systems: Operational Challenges and Possible Solutions. Proc. IEEE Le Xie, Pedro M. S. Carvalho, Luis A. F. M. Ferreira, Juhua Liu, Bruce H. Krogh, Nipun Popli, Marija D. Ilic
2011	—	`conf`	Zonotope bundles for the efficient computation of reachable sets. CDC/ECC Matthias Althoff, Bruce H. Krogh
2010	—	`conf`	A cyber-physical systems approach to energy management in data centers. ICCPS Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh
2010	—	`conf`	A hierarchical approach to energy management in data centers. CDC Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh
2010	—	`conf`	On Zone-Based Analysis of Duration Probabilistic Automata INFINITY Oded Maler, Kim G. Larsen, Bruce H. Krogh
2010	C	`conf`	On incrementally bounded systems. ACC James Kapinski, Bruce H. Krogh
2010	C	`conf`	Robust control design for frequency regulation in power systems with high wind penetration. ACC Juhua Liu, Bruce H. Krogh, Marija D. Ilic
2009	J	`jnl`	An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
2009	J	`jnl`	Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. IEEE Trans. Signal Process. Haotian Zhang, José M. F. Moura, Bruce H. Krogh
2009	A	`conf`	Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
2009	—	`conf`	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans
2008	—	`conf`	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
2008	—	`conf`	A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
2008	—	`conf`	Control software model checking using bisimulation functions for nonlinear systems. CDC James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
2008	C	`conf`	Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
2008	—	`conf`	Performance bounds on state-feedback controllers with network delay. CDC Ajinkya Bhave, Bruce H. Krogh
2008	C	`conf`	Saturation-induced instability in electric power systems. ACC Juhua Liu, Bruce H. Krogh, Marija D. Ilic
2008	—	`conf`	Verification of Supervisory Control Software Using State Proximity and Merging. HSCC Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
2007	C	`conf`	A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC Rajesh Kumar, Bruce H. Krogh
2007	—	`conf`	From Analysis to Design. FORMATS Bruce H. Krogh
2007	—	`conf`	Hierarchical modeling of mode-switching systems. SCSC James E. Weimer, Bruce H. Krogh
2007	C	`conf`	Integration of Formal Analysis into a Model-Based Software Development Process. FMICS Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm
2007	—	`conf`	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
2006	J	`jnl`	Formal verification of statecharts using finite-state model checkers. IEEE Trans. Control. Syst. Technol. Qianchuan Zhao, Bruce H. Krogh
2006	C	`conf`	Heterogeneous verification of embedded control systems. ACC Rajesh Kumar, Bruce H. Krogh
2006	J	`jnl`	High-Confidence Medical Device Software and Systems. Computer Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
2006	J	`jnl`	Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. Ansgar Fehnker, Bruce H. Krogh
2006	—	`conf`	Inner Source Identification for Field Estimation in Wireless Sensor Networks. ICASSP (4) Haotian Zhang, Bruce H. Krogh, José M. F. Moura
2006	—	`conf`	Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC Zhi Han, Bruce H. Krogh
2006	C	`conf`	Reachability analysis of nonlinear systems using trajectory piecewise linearized models. ACC Zhi Han, Bruce H. Krogh
2006	A	`conf`	Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar
2006	J	`jnl`	VigilNet: An integrated sensor network system for energy-efficient surveillance. ACM Trans. Sens. Networks Tian He, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh
2005	—	`conf`	An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler
2005	—	`conf`	Distributed Model Predictive Control for the Mitigation of Cascading Failures. CDC/ECC Sarash Talukdar, Dong Jia, Paul Hines, Bruce H. Krogh
2005	—	`conf`	Estimation in sensor networks: a graph approach. IPSN Haotian Zhang, José M. F. Moura, Bruce H. Krogh
2005	J	`jnl`	Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
2005	C	`conf`	Industry needs for embedded control education. ACC James S. Freudenberg, Bruce H. Krogh
2005	Misc	`conf`	Lightweight detection and classification for wireless sensor networks in realistic environments. SenSys Lin Gu, Dong Jia, Pascal Vicaire, Ting Yan, Liqian Luo, Ajay Tirumala, Qing Cao, Tian He, John A. Stankovic, Tarek F. Abdelzaher, Bruce H. Krogh
2005	J	`jnl`	Markov decision Processes with fractional costs. IEEE Trans. Autom. Control. Zhiyuan Ren, Bruce H. Krogh
2005	C	`conf`	Min-max feedback model predictive control with state estimation. ACC Dong Jia, Bruce H. Krogh
2005	—	`conf`	Reachability Analysis for Affine Systems Using ε -Decomposition. CDC/ECC Zhi Han, Bruce H. Krogh
2005	—	`conf`	Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh
2005	—	`conf`	Time Domain Verification of Oscillator Circuit Properties. FAC Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler
2005	J	`jnl`	Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embed. Comput. Syst. Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang
2004	—	`conf`	Challenges and solution techniques for hybrid simulation. CDC Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli
2004	A	`conf`	Energy-Efficient Surveillance System Using Wireless Sensor Networks. MobiSys Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh
2004	—	`conf`	Estimation in virtual sensor-actuator arrays using reduced-order physical models. CDC Haotian Zhang, Bruce H. Krogh, José M. F. Moura, Wei Zhang
2004	A	`conf`	Hierarchical Adaptive Dynamic Power Management. DATE Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
2004	B	`conf`	Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA Ansgar Fehnker, Bruce H. Krogh
2004	C	`conf`	Managing Verification Activities Using SVM. ICFEM Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar
2004	C	`conf`	Reachability analysis of hybrid control systems using reduced-order models. ACC Zhi Han, Bruce H. Krogh
2004	A	`conf`	Towards formal verification of analog designs. ICCAD Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar
2004	C	`conf`	Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs. ACC James Kapinski, Bruce H. Krogh
2003	J	`jnl`	Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald
2003	J	`jnl`	Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. Alongkrit Chutinan, Bruce H. Krogh
2003	—	`conf`	Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC Olaf Stursberg, Bruce H. Krogh
2003	—	`conf`	On Systematic Simulation of Open Continuous Systems. HSCC James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
2003	—	`conf`	Sentry-Based Power Management in Wireless Sensor Networks. IPSN Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh
2003	—	`conf`	Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh
2003	A	`conf`	Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald
2002	J	`jnl`	Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai
2002	C	`conf`	Min-max feedback model predictive control for distributed control with communication. ACC Dong Jia, Bruce H. Krogh
2002	—	`conf`	On Control with Bounded Computational Resources. FTRTFT Oded Maler, Bruce H. Krogh, Moez Mahfoudh
2002	—	`conf`	On the operator Post CDC Hai-Long Pei, Bruce H. Krogh
2002	—	`conf`	State aggregation in Markov decision processes. CDC Zhiyuan Ren, Bruce H. Krogh
2001	J	`jnl`	Adaptive control of Markov chains with average cost. IEEE Trans. Autom. Control. Zhiyuan Ren, Bruce H. Krogh
2001	—	`conf`	An assessment of the current status of algorithmic approaches to the verification of hybrid systems. CDC B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell
2001	C	`conf`	Distributed model predictive control. ACC Dong Jia, Bruce H. Krogh
2001	C	`conf`	Formal verification of Statecharts using finite-state model checkers. ACC Qianchuan Zhao, Bruce H. Krogh
2001	—	`conf`	Hybrid Systems Applications: An Oxymoron? HSCC Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
2001	C	`conf`	Mode-matching control policies for multi-mode Markov decision processes. ACC Zhiyuan Ren, Bruce H. Krogh
2001	—	`conf`	Modeling and verification of hybrid systems with clocked and unclocked events. CDC B. Izaias Silva, Bruce H. Krogh
2001	C	`conf`	Stability regions for systems with mode transitions. ACC Hai-Long Pei, Bruce H. Krogh
2001	J	`jnl`	Stability-constrained model predictive control. IEEE Trans. Autom. Control. Xu Cheng, Bruce H. Krogh
2001	—	`conf`	Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. HSCC José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh
2001	—	`conf`	Switching control in multi-mode Markov decision processes. CDC Zhiyuan Ren, Bruce H. Krogh
2001	J	`jnl`	Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Autom. Control. Alongkrit Chutinan, Bruce H. Krogh
2000	C	`conf`	Approximating quotient transition systems for hybrid systems. ACC Alongkrit Chutinan, Bruce H. Krogh
2000	C	`conf`	Formal verification of hybrid systems using CheckMate: a case study. ACC B. Izaias Silva, Bruce H. Krogh
2000	—	`ed.`	Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings HSCC Nancy A. Lynch, Bruce H. Krogh
1999	—	`conf`	Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC Bruce H. Krogh
1999	—	`conf`	Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN Bruce H. Krogh
1999	J	`jnl`	Robustness of supervisors for discrete-event systems. IEEE Trans. Autom. Control. José Eduardo Ribeiro Cury, Bruce H. Krogh
1999	—	`conf`	Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC Alongkrit Chutinan, Bruce H. Krogh
1998	J	`jnl`	Supervisor Synthesis for Real-Time Discrete Event Systems. Discret. Event Dyn. Syst. Archana S. Sathaye, Bruce H. Krogh
1998	—	`conf`	Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC Enrique D. Ferreira, Bruce H. Krogh
1998	J	`jnl`	Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Autom. Control. José E. R. Cury, Bruce H. Krogh, Toshihiko Niinomi
1997	J	`jnl`	A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discret. Event Dyn. Syst. Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua
1997	—	`conf`	Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems Alongkrit Chutinan, Bruce H. Krogh
1997	—	`conf`	Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems Enrique D. Ferreira, Bruce H. Krogh
1995	—	`conf`	Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig
1995	—	`conf`	Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury
1992	J	`jnl`	On the computation of reference signal constraints for guaranteed tracking performance. Autom. Timothy J. Graettinger, Bruce H. Krogh
1991	J	`jnl`	Dynamic steering control of conventionally steered mobile robots. J. Field Robotics Dai Feng, Bruce H. Krogh
1991	J	`jnl`	On condition/event systems with discrete state realizations. Discret. Event Dyn. Syst. R. S. Sreenivas, Bruce H. Krogh
1991	J	`jnl`	Path planning for mobile manipulators for multiple task execution. IEEE Trans. Robotics Autom. Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh
1991	J	`jnl`	Synthesis of feedback control logic for discrete manufacturing systems. Autom. Bruce H. Krogh, Lawrence E. Holloway
1990	J	`jnl`	Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robotics Autom. Zbigniew Antoni Banaszak, Bruce H. Krogh
1990	A*	`conf`	Dynamic steering control of conventionally-steered mobile robots. ICRA Dai Feng, Bruce H. Krogh
1990	J	`jnl`	Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems. IEEE Trans. Robotics Autom. Ramakrishna Akella, Bruce H. Krogh, Medini R. Singh
1990	J	`jnl`	Petri Net Tools for the Specification and Analysis of Discrete Controllers. IEEE Trans. Software Eng. Reg G. Willson, Bruce H. Krogh
1990	J	`jnl`	Satisficing feedback strategies for local navigation of autonomous mobile robots. IEEE Trans. Syst. Man Cybern. Dai Feng, Bruce H. Krogh
1990	A*	`conf`	The use of simulated annealing to solve the mobile manipulator path planning problem. ICRA Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh
1989	A*	`conf`	The servo-control system for an omnidirectional mobile robot. ICRA Dai Feng, Mark B. Friedman, Bruce H. Krogh
1988	J	`jnl`	The acceleration radius: a global performance measure for robotic manipulators. IEEE J. Robotics Autom. Timothy J. Graettinger, Bruce H. Krogh
1987	A*	`conf`	Essentially decision free Petri nets for real-time resource allocation. ICRA Bruce H. Krogh, Ramavarapu S. Sreenivas
1987	A*	`conf`	Hierarchical control structures for multi-cell flexible assembly system co-ordination. ICRA Ram Akella, Bruce H. Krogh
1986	A*	`conf`	Integrated path planning and dynamic steering control for autonomous vehicles. ICRA Bruce H. Krogh, Charles E. Thorpe
1986	A*	`conf`	Models for simulation and discrete control of manufacturing systems. ICRA Carolyn L. Beck, Bruce H. Krogh
1985	A*	`conf`	Kinematics and open-loop control of an ilonator-based mobile platform. ICRA David J. Daniel, Bruce H. Krogh, Mark B. Friedman
1983	—	`—`	Modeling and Control of Overloaded Transmission Networks Bruce H. Krogh
1982	J	`jnl`	The segment method as an alternative to minimax in hypothesis testing. Inf. Sci. Bruce H. Krogh, H. Vincent Poor