# Bruce H. Krogh

According to our database

Collaborative distances:

^{1}, Bruce H. Krogh authored at least 105 papers between 1982 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the 2020 American Control Conference, 2020

Proceedings of the 2020 American Control Conference, 2020

2019

Proceedings of the 18th European Control Conference, 2019

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

Proceedings of the 2019 American Control Conference, 2019

2018

CoRR, 2018

2015

Electron. Notes Theor. Comput. Sci., 2015

Proceedings of the 2015 International Conference on Embedded Software, 2015

2014

IEEE Trans. Autom. Control., 2014

IEEE Trans. Autom. Control., 2014

Proceedings of the American Control Conference, 2014

Proceedings of the American Control Conference, 2014

2013

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

Commun. ACM, 2013

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

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

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.

Proceedings of the IEEE, 2012

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

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

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

Avoiding geometric intersection operations in reachability analysis of hybrid systems.

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

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

Proceedings of the American Control Conference, 2012

2011

Proceedings of the IEEE, 2011

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

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.

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

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.

Proceedings of the American Control Conference, 2011

2010

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

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

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

2009

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

IEEE Trans. Signal Process., 2009

ECEASST, 2009

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

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

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.

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

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

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

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

Control software model checking using bisimulation functions for nonlinear systems.

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

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

Proceedings of the American Control Conference, 2008

Proceedings of the American Control Conference, 2008

2007

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

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

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006

ACM Trans. Sens. Networks, 2006

IEEE Trans. Control. Syst. Technol., 2006

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

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

Electron. Notes Theor. Comput. Sci., 2006

Computer, 2006

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.

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

Verifying analog oscillator circuits using forward/backward abstraction refinement.

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

2005

ACM Trans. Embedded Comput. Syst., 2005

IEEE Trans. Computers, 2005

IEEE Trans. Autom. Control., 2005

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

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

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

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

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

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

2004

Proceedings of the Second International Conference on Mobile Systems, 2004

Proceedings of the Formal Methods and Software Engineering, 2004

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

2003

IEEE Trans. Autom. Control., 2003

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

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

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

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

Proceedings of the Information Processing in Sensor Networks, 2003

Proceedings of the Hybrid Systems: Computation and Control, 2003

Proceedings of the Hybrid Systems: Computation and Control, 2003

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

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

2002

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

2001

IEEE Trans. Autom. Control., 2001

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

IEEE Trans. Autom. Control., 2001

IEEE Trans. Autom. Control., 2001

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

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

1999

IEEE Trans. Autom. Control., 1999

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

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

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

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

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

1998

Discret. Event Dyn. Syst., 1998

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

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

1997

Discret. Event Dyn. Syst., 1997

Controller Scheduling Using Neural Networks: Implementation and Experimental Results.

Proceedings of the Hybrid Systems V, 1997

Proceedings of the Hybrid Systems V, 1997

1995

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

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.

Proceedings of the EUROSIM'96, 1995

1992

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

Autom., 1992

1991

IEEE Trans. Robotics Autom., 1991

J. Field Robotics, 1991

Discret. Event Dyn. Syst., 1991

Autom., 1991

1990

IEEE Trans. Syst. Man Cybern., 1990

IEEE Trans. Software Eng., 1990

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

IEEE Trans. Robotics Autom., 1990

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

IEEE Trans. Robotics Autom., 1990

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

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

1989

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

1988

IEEE J. Robotics Autom., 1988

1987

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.

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

1986

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

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

1985

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

1982

Inf. Sci., 1982