Bruce H. Krogh

According to our database1, Bruce H. Krogh
  • authored at least 98 papers between 1982 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Numerically-aided Deductive Safety Proof for a Powertrain Control System.
Electr. Notes Theor. Comput. Sci., 2015

Forward Invariant Cuts to Simplify Proofs of Safety.
CoRR, 2015

Forward invariant cuts to simplify proofs of safety.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2014
Supporting Heterogeneity in Cyber-Physical Systems Architectures.
IEEE Trans. Automat. Contr., 2014

Reachability Analysis of Nonlinear Differential-Algebraic Systems.
IEEE Trans. Automat. Contr., 2014

Using verified control envelopes for safe controller design.
Proceedings of the American Control Conference, 2014

Decentralized identification of building models.
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

Compositional heterogeneous abstraction.
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

Heterogeneous verification of cyber-physical systems using behavior relations.
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

Parameter identifiability for multi-zone building models.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Using theorem provers to guarantee closed-loop system properties.
Proceedings of the American Control Conference, 2012

2011
Wind Integration in Power Systems: Operational Challenges and Possible Solutions.
Proceedings of the IEEE, 2011

View Consistency in Architectures for Cyber-Physical Systems.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Formal verification of phase-locked loops using reachability analysis and continuization.
Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

Reachable set computation for uncertain time-varying linear systems.
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

Zonotope bundles for the efficient computation of reachable sets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
On Zone-Based Analysis of Duration Probabilistic Automata
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.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

A hierarchical approach to energy management in data centers.
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 Processing, 2009

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.
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

Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.
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

Verification of Supervisory Control Software Using State Proximity and Merging.
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

Performance bounds on state-feedback controllers with network delay.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Hierarchical modeling of mode-switching systems.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

From Analysis to Design.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Integration of Formal Analysis into a Model-Based Software Development Process.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

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

Formal verification of statecharts using finite-state model checkers.
IEEE Trans. Contr. Sys. Techn., 2006

Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study.
Int. J. Found. Comput. Sci., 2006

Time Domain Verification of Oscillator Circuit Properties.
Electr. Notes Theor. Comput. Sci., 2006

High-Confidence Medical Device Software and Systems.
IEEE Computer, 2006

Inner Source Identification for Field Estimation in Wireless Sensor Networks.
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
Undergraduate embedded system education at Carnegie Mellon.
ACM Trans. Embedded Comput. Syst., 2005

Hierarchical Adaptive Dynamic Power Management.
IEEE Trans. Computers, 2005

Markov decision Processes with fractional costs.
IEEE Trans. Automat. Contr., 2005

Lightweight detection and classification for wireless sensor networks in realistic environments.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Estimation in sensor networks: a graph approach.
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

Refining Abstractions of Hybrid Systems Using Counterexample Fragments.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Energy-Efficient Surveillance System Using Wireless Sensor Networks.
Proceedings of the Second International Conference on Mobile Systems, 2004

Managing Verification Activities Using SVM.
Proceedings of the Formal Methods and Software Engineering, 2004

Towards formal verification of analog designs.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Hierarchical Adaptive Dynamic Power Management.
Proceedings of the 2004 Design, 2004

Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Computational techniques for hybrid system verification.
IEEE Trans. Automat. Contr., 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

Sentry-Based Power Management in Wireless Sensor Networks.
Proceedings of the Information Processing in Sensor Networks, 2003

Efficient Representation and Computation of Reachable Sets for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003

On Systematic Simulation of Open Continuous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
On Control with Bounded Computational Resources.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Adaptive control of Markov chains with average cost.
IEEE Trans. Automat. Contr., 2001

Verification of infinite-state dynamic systems using approximate quotient transition systems.
IEEE Trans. Automat. Contr., 2001

Stability-constrained model predictive control.
IEEE Trans. Automat. Contr., 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

1999
Robustness of supervisors for discrete-event systems.
IEEE Trans. Automat. Contr., 1999

Approximating Hybrid System Dynamics for Analysis and Control (Abstract).
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
Supervisor Synthesis for Real-Time Discrete Event Systems.
Discrete Event Dynamic Systems, 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
A Survey of Petri Net Methods for Controlled Discrete Event Systems.
Discrete Event Dynamic Systems, 1997

Controller Scheduling Using Neural Networks: Implementation and Experimental Results.
Proceedings of the Hybrid Systems V, 1997

Computing Approximating Automata for a Class of Linear Hybrid Systems.
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.
Automatica, 1992

1991
Path planning for mobile manipulators for multiple task execution.
IEEE Trans. Robotics and Automation, 1991

Dynamic steering control of conventionally steered mobile robots.
J. Field Robotics, 1991

On condition/event systems with discrete state realizations.
Discrete Event Dynamic Systems, 1991

Synthesis of feedback control logic for discrete manufacturing systems.
Automatica, 1991

1990
Satisficing feedback strategies for local navigation of autonomous mobile robots.
IEEE Trans. Systems, Man, and Cybernetics, 1990

Petri Net Tools for the Specification and Analysis of Discrete Controllers.
IEEE Trans. Software Eng., 1990

Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows.
IEEE Trans. Robotics and Automation, 1990

Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems.
IEEE Trans. Robotics and Automation, 1990

1989
The servo-control system for an omnidirectional mobile robot.
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989

1988
The acceleration radius: a global performance measure for robotic manipulators.
IEEE J. Robotics and Automation, 1988

1987
Essentially decision free Petri nets for real-time resource allocation.
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
Integrated path planning and dynamic steering control for autonomous vehicles.
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

Models for simulation and discrete control of manufacturing systems.
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1985
Kinematics and open-loop control of an ilonator-based mobile platform.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1982
The segment method as an alternative to minimax in hypothesis testing.
Inf. Sci., 1982


  Loading...