Bruce H. Krogh

According to our database, Bruce H. Krogh authored at least 140 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems.

Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli

IEEE Trans. Autom. Control., December, 2024

Reducing Attack Opportunities Through Decentralized Event-Triggered Control.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

IEEE Trans. Control. Netw. Syst., September, 2024

2023

Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks.

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Dimov Hristozov, Bruno Sinopoli

IEEE Trans. Control. Syst. Technol., July, 2023

Runtime System Support for CPS Software Rejuvenation.

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton Dimov Hristozov, Bruno Sinopoli

IEEE Trans. Emerg. Top. Comput., 2023

2021

Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Resilient Control in the Presence of Man-in-the-Middle Attacks.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 2021 American Control Conference, 2021

2020

Decentralized Event-Triggered Control in the Presence of Adversaries.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Robust Software Rejuvenation for CPS with State Estimation and Disturbances.

Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 2020 American Control Conference, 2020

Secure Networked Control for Decentralized Systems via Software Rejuvenation.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 2020 American Control Conference, 2020

2019

Safety and Liveness of Software Rejuvenation for Secure Tracking Control.

Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 17th European Control Conference, 2019

Secure Networked Control via Software Rejuvenation.

Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Design of Software Rejuvenation for CPS Security Using Invariant Sets.

Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli

Proceedings of the 2019 American Control Conference, 2019

2018

Software Rejuvenation for Secure Tracking Control.

Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli

CoRR, 2018

2016

Stochastic Simulator for Smart Microgrid Planning.

Jesse Thornburg, Bruce H. Krogh, Taha Selim Ustun

Proceedings of the 7th Annual Symposium on Computing for Development, 2016

2015

Forward invariant cuts to simplify proofs of safety.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

Supporting Heterogeneity in Cyber-Physical Systems Architectures.

Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl

IEEE Trans. Autom. Control., 2014

Reachability Analysis of Nonlinear Differential-Algebraic Systems.

Matthias Althoff, Bruce H. Krogh

IEEE Trans. Autom. Control., 2014

Numerically-aided Deductive Safety Proof for a Powertrain Control System.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Using verified control envelopes for safe controller design.

Nikos Aréchiga, Bruce H. Krogh

Proceedings of the American Control Conference, 2014

Decentralized identification of building models.

Clarence Agbi, Bruce H. Krogh

Proceedings of the American Control Conference, 2014

2013

Formal verification of phase-locked loops using reachability analysis and continuization.

Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi

Commun. ACM, 2013

A moving horizon state estimator in the control of thermostatically controlled loads for demand response.

Emre Can Kara, J. Zico Kolter, Mario Berges, Bruce H. Krogh, Gabriela Hug, Tugçe Yüksel

Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Compositional heterogeneous abstraction.

Akshay Rajhans, Bruce H. Krogh

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency.

Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang

Proc. IEEE, 2012

Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework.

Emre Can Kara, Mario Berges, Bruce H. Krogh, Soummya Kar

Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012

Heterogeneous verification of cyber-physical systems using behavior relations.

Akshay Rajhans, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Avoiding geometric intersection operations in reachability analysis of hybrid systems.

Matthias Althoff, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Parameter identifiability for multi-zone building models.

Clarence Agbi, Zhen Song, Bruce H. Krogh

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Using theorem provers to guarantee closed-loop system properties.

Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh

Proceedings of the American Control Conference, 2012

2011

Wind Integration in Power Systems: Operational Challenges and Possible Solutions.

Le Xie, Pedro M. S. Carvalho, Luis A. F. M. Ferreira, Juhua Liu, Bruce H. Krogh, Nipun Popli, Marija D. Ilic

Proc. IEEE, 2011

View Consistency in Architectures for Cyber-Physical Systems.

Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Reachable set computation for uncertain time-varying linear systems.

Matthias Althoff, Colas Le Guernic, Bruce H. Krogh

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Using parameters in architectural views to support heterogeneous design and verification.

Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Zonotope bundles for the efficient computation of reachable sets.

Matthias Althoff, Bruce H. Krogh

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Passivity-based robust control for power systems subject to wind power variability.

Juhua Liu, Bruce H. Krogh, B. Erik Ydstie

Proceedings of the American Control Conference, 2011

2010

On Zone-Based Analysis of Duration Probabilistic Automata

Oded Maler, Kim G. Larsen, Bruce H. Krogh

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

A cyber-physical systems approach to energy management in data centers.

Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A hierarchical approach to energy management in data centers.

Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Robust control design for frequency regulation in power systems with high wind penetration.

Juhua Liu, Bruce H. Krogh, Marija D. Ilic

Proceedings of the American Control Conference, 2010

On incrementally bounded systems.

James Kapinski, Bruce H. Krogh

Proceedings of the American Control Conference, 2010

2009

Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost.

Haotian Zhang, José M. F. Moura, Bruce H. Krogh

IEEE Trans. Signal Process., 2009

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.

Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks.

James E. Weimer, Bruno Sinopoli, Bruce H. Krogh

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.

Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks.

James E. Weimer, Bruno Sinopoli, Bruce H. Krogh

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

Verification of Supervisory Control Software Using State Proximity and Merging.

Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.

Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Performance bounds on state-feedback controllers with network delay.

Ajinkya Bhave, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Saturation-induced instability in electric power systems.

Juhua Liu, Bruce H. Krogh, Marija D. Ilic

Proceedings of the American Control Conference, 2008

Model checking in-the-loop: Finding counterexamples by systematic simulation.

Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the American Control Conference, 2008

2007

Hierarchical modeling of mode-switching systems.

James E. Weimer, Bruce H. Krogh

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.

Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

From Analysis to Design.

Bruce H. Krogh

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Integration of Formal Analysis into a Model-Based Software Development Process.

Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar, Bruce H. Krogh

Proceedings of the American Control Conference, 2007

2006

VigilNet: An integrated sensor network system for energy-efficient surveillance.

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

ACM Trans. Sens. Networks, 2006

Formal verification of statecharts using finite-state model checkers.

Qianchuan Zhao, Bruce H. Krogh

IEEE Trans. Control. Syst. Technol., 2006

Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study.

Ansgar Fehnker, Bruce H. Krogh

Int. J. Found. Comput. Sci., 2006

High-Confidence Medical Device Software and Systems.

Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha

Computer, 2006

Inner Source Identification for Field Estimation in Wireless Sensor Networks.

Haotian Zhang, Bruce H. Krogh, José M. F. Moura

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.

Zhi Han, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Verifying analog oscillator circuits using forward/backward abstraction refinement.

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Heterogeneous verification of embedded control systems.

Rajesh Kumar, Bruce H. Krogh

Proceedings of the American Control Conference, 2006

Reachability analysis of nonlinear systems using trajectory piecewise linearized models.

Zhi Han, Bruce H. Krogh

Proceedings of the American Control Conference, 2006

2005

Undergraduate embedded system education at Carnegie Mellon.

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

ACM Trans. Embed. Comput. Syst., 2005

Hierarchical Adaptive Dynamic Power Management.

Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu

IEEE Trans. Computers, 2005

Markov decision Processes with fractional costs.

Zhiyuan Ren, Bruce H. Krogh

IEEE Trans. Autom. Control., 2005

Time Domain Verification of Oscillator Circuit Properties.

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Lightweight detection and classification for wireless sensor networks in realistic environments.

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

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Estimation in sensor networks: a graph approach.

Haotian Zhang, José M. F. Moura, Bruce H. Krogh

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Refining Abstractions of Hybrid Systems Using Counterexample Fragments.

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Distributed Model Predictive Control for the Mitigation of Cascading Failures.

Sarash Talukdar, Dong Jia, Paul Hines, Bruce H. Krogh

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Reachability Analysis for Affine Systems Using ε -Decomposition.

Zhi Han, Bruce H. Krogh

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Min-max feedback model predictive control with state estimation.

Dong Jia, Bruce H. Krogh

Proceedings of the American Control Conference, 2005

Industry needs for embedded control education.

James S. Freudenberg, Bruce H. Krogh

Proceedings of the American Control Conference, 2005

2004

Energy-Efficient Surveillance System Using Wireless Sensor Networks.

Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh

Proceedings of the Second International Conference on Mobile Systems, 2004

Managing Verification Activities Using SVM.

Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar

Proceedings of the Formal Methods and Software Engineering, 2004

Towards formal verification of analog designs.

Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Estimation in virtual sensor-actuator arrays using reduced-order physical models.

Haotian Zhang, Bruce H. Krogh, José M. F. Moura, Wei Zhang

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Challenges and solution techniques for hybrid simulation.

Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs.

James Kapinski, Bruce H. Krogh

Proceedings of the 2004 American Control Conference, 2004

Reachability analysis of hybrid control systems using reduced-order models.

Zhi Han, Bruce H. Krogh

Proceedings of the 2004 American Control Conference, 2004

2003

Computational techniques for hybrid system verification.

Alongkrit Chutinan, Bruce H. Krogh

IEEE Trans. Autom. Control., 2003

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald

Int. J. Found. Comput. Sci., 2003

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Sentry-Based Power Management in Wireless Sensor Networks.

Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh

Proceedings of the Information Processing in Sensor Networks, 2003

Efficient Representation and Computation of Reachable Sets for Hybrid Systems.

Olaf Stursberg, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 2003

On Systematic Simulation of Open Continuous Systems.

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg

Proceedings of the Hybrid Systems: Computation and Control, 2003

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.

Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems.

Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

On Control with Bounded Computational Resources.

Oded Maler, Bruce H. Krogh, Moez Mahfoudh

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

State aggregation in Markov decision processes.

Zhiyuan Ren, Bruce H. Krogh

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

On the operator Post^-1.

Hai-Long Pei, Bruce H. Krogh

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Min-max feedback model predictive control for distributed control with communication.

Dong Jia, Bruce H. Krogh

Proceedings of the American Control Conference, 2002

2001

Adaptive control of Markov chains with average cost.

Zhiyuan Ren, Bruce H. Krogh

IEEE Trans. Autom. Control., 2001

Verification of infinite-state dynamic systems using approximate quotient transition systems.

Alongkrit Chutinan, Bruce H. Krogh

IEEE Trans. Autom. Control., 2001

Stability-constrained model predictive control.

Xu Cheng, Bruce H. Krogh

IEEE Trans. Autom. Control., 2001

Hybrid Systems Applications: An Oxymoron?

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

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.

José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

An assessment of the current status of algorithmic approaches to the verification of hybrid systems.

B. Izaias Silva, Olaf Stursberg, Bruce H. Krogh, Sebastian Engell

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Modeling and verification of hybrid systems with clocked and unclocked events.

B. Izaias Silva, Bruce H. Krogh

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Switching control in multi-mode Markov decision processes.

Zhiyuan Ren, Bruce H. Krogh

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Mode-matching control policies for multi-mode Markov decision processes.

Zhiyuan Ren, Bruce H. Krogh

Proceedings of the American Control Conference, 2001

Stability regions for systems with mode transitions.

Hai-Long Pei, Bruce H. Krogh

Proceedings of the American Control Conference, 2001

Distributed model predictive control.

Dong Jia, Bruce H. Krogh

Proceedings of the American Control Conference, 2001

2000

Formal verification of hybrid systems using CheckMate: a case study.

B. Izaias Silva, Bruce H. Krogh

Proceedings of the American Control Conference, 2000

Approximating quotient transition systems for hybrid systems.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the American Control Conference, 2000

1999

Robustness of supervisors for discrete-event systems.

José Eduardo Ribeiro Cury, Bruce H. Krogh

IEEE Trans. Autom. Control., 1999

Approximating Hybrid System Dynamics for Analysis and Control (Abstract).

Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract).

Bruce H. Krogh

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Synthesis of supervisory controllers for hybrid systems based on approximating automata.

José E. R. Cury, Bruce H. Krogh, Toshihiko Niinomi

IEEE Trans. Autom. Control., 1998

Supervisor Synthesis for Real-Time Discrete Event Systems.

Archana S. Sathaye, Bruce H. Krogh

Discret. Event Dyn. Syst., 1998

Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance.

Enrique D. Ferreira, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

A Survey of Petri Net Methods for Controlled Discrete Event Systems.

Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua

Discret. Event Dyn. Syst., 1997

Controller Scheduling Using Neural Networks: Implementation and Experimental Results.

Enrique D. Ferreira, Bruce H. Krogh

Proceedings of the Hybrid Systems V, 1997

Computing Approximating Automata for a Class of Linear Hybrid Systems.

Alongkrit Chutinan, Bruce H. Krogh

Proceedings of the Hybrid Systems V, 1997

1995

Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.

Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.

Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig

Proceedings of the EUROSIM'96, 1995

1992

On the computation of reference signal constraints for guaranteed tracking performance.

Timothy J. Graettinger, Bruce H. Krogh

Autom., 1992

1991

Path planning for mobile manipulators for multiple task execution.

Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh

IEEE Trans. Robotics Autom., 1991

Dynamic steering control of conventionally steered mobile robots.

Dai Feng, Bruce H. Krogh

J. Field Robotics, 1991

On condition/event systems with discrete state realizations.

R. S. Sreenivas, Bruce H. Krogh

Discret. Event Dyn. Syst., 1991

Synthesis of feedback control logic for discrete manufacturing systems.

Bruce H. Krogh, Lawrence E. Holloway

Autom., 1991

1990

Satisficing feedback strategies for local navigation of autonomous mobile robots.

Dai Feng, Bruce H. Krogh

IEEE Trans. Syst. Man Cybern., 1990

Petri Net Tools for the Specification and Analysis of Discrete Controllers.

Reg G. Willson, Bruce H. Krogh

IEEE Trans. Software Eng., 1990

Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows.

Zbigniew Antoni Banaszak, Bruce H. Krogh

IEEE Trans. Robotics Autom., 1990

Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems.

Ramakrishna Akella, Bruce H. Krogh, Medini R. Singh

IEEE Trans. Robotics Autom., 1990

The use of simulated annealing to solve the mobile manipulator path planning problem.

Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh

Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

1989

The servo-control system for an omnidirectional mobile robot.

Dai Feng, Mark B. Friedman, Bruce H. Krogh

Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989

1988

The acceleration radius: a global performance measure for robotic manipulators.

Timothy J. Graettinger, Bruce H. Krogh

IEEE J. Robotics Autom., 1988

1987

Essentially decision free Petri nets for real-time resource allocation.

Bruce H. Krogh, Ramavarapu S. Sreenivas

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

Hierarchical control structures for multi-cell flexible assembly system co-ordination.

Ram Akella, Bruce H. Krogh

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986

Integrated path planning and dynamic steering control for autonomous vehicles.

Bruce H. Krogh, Charles E. Thorpe

Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

Models for simulation and discrete control of manufacturing systems.

Carolyn L. Beck, Bruce H. Krogh

Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1985

Kinematics and open-loop control of an ilonator-based mobile platform.

David J. Daniel, Bruce H. Krogh, Mark B. Friedman

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1983

Modeling and Control of Overloaded Transmission Networks

Bruce H. Krogh

PhD thesis, 1983

1982

The segment method as an alternative to minimax in hypothesis testing.

Bruce H. Krogh, H. Vincent Poor

Inf. Sci., 1982