


Остановите войну!
for scientists:
Bruce H. Krogh
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [i4]Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli:
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems. CoRR abs/2205.00372 (2022) - 2021
- [c89]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Resilient Control in the Presence of Man-in-the-Middle Attacks. ACC 2021: 4553-4560 - [c88]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control. CDC 2021: 5715-5722 - 2020
- [c87]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Robust Software Rejuvenation for CPS with State Estimation and Disturbances. ACC 2020: 1241-1246 - [c86]Paul Griffioen
, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control for Decentralized Systems via Software Rejuvenation. ACC 2020: 1266-1273 - [c85]Paul Griffioen
, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Decentralized Event-Triggered Control in the Presence of Adversaries. CDC 2020: 3236-3242
2010 – 2019
- 2019
- [c84]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. ACC 2019: 3740-3745 - [c83]Paul Griffioen
, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control via Software Rejuvenation. CDC 2019: 3878-3884 - [c82]Raffaele Romagnoli
, Bruce H. Krogh, Bruno Sinopoli:
Safety and Liveness of Software Rejuvenation for Secure Tracking Control. ECC 2019: 2215-2220 - 2018
- [i3]Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli:
Software Rejuvenation for Secure Tracking Control. CoRR abs/1810.10468 (2018) - [i2]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. CoRR abs/1810.10484 (2018) - 2016
- [c81]Jesse Thornburg, Bruce H. Krogh, Taha Selim Ustun
:
Stochastic Simulator for Smart Microgrid Planning. ACM DEV 2016: 22:1-22:4 - 2015
- [j37]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer
, Bruce H. Krogh:
Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electron. Notes Theor. Comput. Sci. 317: 19-25 (2015) - [c80]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer
, Bruce H. Krogh:
Forward invariant cuts to simplify proofs of safety. EMSOFT 2015: 227-236 - [i1]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR abs/1507.05133 (2015) - 2014
- [j36]Matthias Althoff, Bruce H. Krogh:
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59(2): 371-383 (2014) - [j35]Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer
, Bradley R. Schmerl:
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59(12): 3178-3193 (2014) - [c79]Clarence Agbi, Bruce H. Krogh:
Decentralized identification of building models. ACC 2014: 1070-1075 - [c78]Nikos Aréchiga, Bruce H. Krogh:
Using verified control envelopes for safe controller design. ACC 2014: 2918-2923 - 2013
- [j34]Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56(10): 97-104 (2013) - [c77]Akshay Rajhans, Bruce H. Krogh:
Compositional heterogeneous abstraction. HSCC 2013: 253-262 - [c76]Emre Can Kara, J. Zico Kolter, Mario Berges, Bruce H. Krogh, Gabriela Hug, Tugçe Yüksel
:
A moving horizon state estimator in the control of thermostatically controlled loads for demand response. SmartGridComm 2013: 253-258 - 2012
- [j33]Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang:
A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proc. IEEE 100(1): 254-268 (2012) - [c75]Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh:
Using theorem provers to guarantee closed-loop system properties. ACC 2012: 3573-3580 - [c74]Clarence Agbi, Zhen Song, Bruce H. Krogh:
Parameter identifiability for multi-zone building models. CDC 2012: 6951-6956 - [c73]Akshay Rajhans, Bruce H. Krogh:
Heterogeneous verification of cyber-physical systems using behavior relations. HSCC 2012: 35-44 - [c72]Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54 - [c71]Emre Can Kara, Mario Berges, Bruce H. Krogh, Soummya Kar:
Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework. SmartGridComm 2012: 85-90 - 2011
- [j32]Le Xie
, Pedro M. S. Carvalho
, Luis A. F. M. Ferreira, Juhua Liu, Bruce H. Krogh, Nipun Popli, Marija D. Ilic:
Wind Integration in Power Systems: Operational Challenges and Possible Solutions. Proc. IEEE 99(1): 214-232 (2011) - [c70]Juhua Liu, Bruce H. Krogh, B. Erik Ydstie:
Passivity-based robust control for power systems subject to wind power variability. ACC 2011: 4149-4154 - [c69]Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer
, David Garlan:
Using parameters in architectural views to support heterogeneous design and verification. CDC/ECC 2011: 2705-2710 - [c68]Matthias Althoff, Bruce H. Krogh:
Zonotope bundles for the efficient computation of reachable sets. CDC/ECC 2011: 6814-6821 - [c67]Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102 - [c66]Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD 2011: 659-666 - [c65]Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl:
View Consistency in Architectures for Cyber-Physical Systems. ICCPS 2011: 151-160 - 2010
- [c64]Luca Parolini, Emanuele Garone
, Bruno Sinopoli, Bruce H. Krogh:
A hierarchical approach to energy management in data centers. CDC 2010: 1065-1070 - [c63]Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh:
A cyber-physical systems approach to energy management in data centers. ICCPS 2010: 168-177 - [c62]Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
2000 – 2009
- 2009
- [j31]Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave:
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j30]Haotian Zhang, José M. F. Moura, Bruce H. Krogh:
Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. IEEE Trans. Signal Process. 57(6): 2383-2395 (2009) - [c61]Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179 - [c60]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS 2009: 333-342 - 2008
- [c59]Juhua Liu, Bruce H. Krogh, Marija D. Ilic:
Saturation-induced instability in electric power systems. ACC 2008: 580-585 - [c58]Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh:
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC 2008: 2734-2740 - [c57]James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems. CDC 2008: 4024-4029 - [c56]Ajinkya Bhave, Bruce H. Krogh:
Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613 - [c55]Goran Frehse, Sumit Kumar Jha
, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 - [c54]Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357 - [c53]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops 2008: 501-506 - 2007
- [c52]Rajesh Kumar, Bruce H. Krogh:
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC 2007: 236-241 - [c51]Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm:
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84 - [c50]Bruce H. Krogh:
From Analysis to Design. FORMATS 2007: 4 - [c49]Sumit Kumar Jha
, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300 - [c48]James E. Weimer, Bruce H. Krogh:
Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574 - 2006
- [j29]Insup Lee, George J. Pappas
, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j28]Goran Frehse
, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler:
Time Domain Verification of Oscillator Circuit Properties. Electron. Notes Theor. Comput. Sci. 153(3): 9-22 (2006) - [j27]Ansgar Fehnker
, Bruce H. Krogh:
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. 17(4): 885-902 (2006) - [j26]Qianchuan Zhao, Bruce H. Krogh:
Formal verification of statecharts using finite-state model checkers. IEEE Trans. Control. Syst. Technol. 14(5): 943-950 (2006) - [j25]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:
VigilNet: An integrated sensor network system for energy-efficient surveillance. ACM Trans. Sens. Networks 2(1): 1-38 (2006) - [c47]Goran Frehse
, Bruce H. Krogh, Rob A. Rutenbar:
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 - [c46]Zhi Han, Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301 - [c45]Haotian Zhang, Bruce H. Krogh, José M. F. Moura:
Inner Source Identification for Field Estimation in Wireless Sensor Networks. ICASSP (4) 2006: 853-856 - 2005
- [j24]Zhiyuan Ren, Bruce H. Krogh:
Markov decision Processes with fractional costs. IEEE Trans. Autom. Control. 50(5): 646-650 (2005) - [j23]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu
:
Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (2005) - [j22]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:
Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embed. Comput. Syst. 4(3): 500-528 (2005) - [c44]Dong Jia, Bruce H. Krogh:
Min-max feedback model predictive control with state estimation. ACC 2005: 262-267 - [c43]Sarash Talukdar, Dong Jia, Paul Hines, Bruce H. Krogh:
Distributed Model Predictive Control for the Mitigation of Cascading Failures. CDC/ECC 2005: 4440-4445 - [c42]Zhi Han, Bruce H. Krogh:
Reachability Analysis for Affine Systems Using ε -Decomposition. CDC/ECC 2005: 6984-6990 - [c41]Ansgar Fehnker
, Edmund M. Clarke, Sumit Kumar Jha
, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 - [c40]Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385 - [c39]Haotian Zhang, José M. F. Moura, Bruce H. Krogh:
Estimation in sensor networks: a graph approach. IPSN 2005: 203-209 - [c38]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:
Lightweight detection and classification for wireless sensor networks in realistic environments. SenSys 2005: 205-217 - 2004
- [c37]Ansgar Fehnker
, Bruce H. Krogh:
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277 - [c36]Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli:
Challenges and solution techniques for hybrid simulation. CDC 2004 - [c35]Haotian Zhang, Bruce H. Krogh, José M. F. Moura, Wei Zhang:
Estimation in virtual sensor-actuator arrays using reduced-order physical models. CDC 2004: 3792-3797 - [c34]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu:
Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141 - [c33]Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar:
Towards formal verification of analog designs. ICCAD 2004: 210-217 - [c32]Bill Aldrich, Ansgar Fehnker
, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar:
Managing Verification Activities Using SVM. ICFEM 2004: 61-75 - [c31]Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh:
Energy-Efficient Surveillance System Using Wireless Sensor Networks. MobiSys 2004 - 2003
- [j21]Edmund M. Clarke, Ansgar Fehnker
, Zhi Han, Bruce H. Krogh, Joël Ouaknine
, Olaf Stursberg
, Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003) - [j20]Alongkrit Chutinan, Bruce H. Krogh:
Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. 48(1): 64-75 (2003) - [c30]Olaf Stursberg
, Ansgar Fehnker
, Zhi Han, Bruce H. Krogh:
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS 2003: 289-294 - [c29]James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
:
On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 - [c28]Olaf Stursberg
, Bruce H. Krogh:
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497 - [c27]Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh:
Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472 - [c26]Edmund M. Clarke, Ansgar Fehnker
, Zhi Han, Bruce H. Krogh, Olaf Stursberg
, Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207 - 2002
- [j19]Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai:
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2407-2413 (2002) - [c25]Hai-Long Pei, Bruce H. Krogh:
On the operator Post-1. CDC 2002: 2385-2390 - [c24]Zhiyuan Ren, Bruce H. Krogh:
State aggregation in Markov decision processes. CDC 2002: 3819-3824 - [c23]Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. FTRTFT 2002: 147-164 - 2001
- [j18]Zhiyuan Ren, Bruce H. Krogh:
Adaptive control of Markov chains with average cost. IEEE Trans. Autom. Control. 46(4): 613-617 (2001) - [j17]Alongkrit Chutinan, Bruce H. Krogh:
Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Autom. Control. 46(9): 1401-1410 (2001) - [j16]Xu Cheng, Bruce H. Krogh:
Stability-constrained model predictive control. IEEE Trans. Autom. Control. 46(11): 1816-1820 (2001) - [c22]Zhiyuan Ren, Bruce H. Krogh:
Mode-matching control policies for multi-mode Markov decision processes. ACC 2001: 95-100 - [c21]Qianchuan Zhao, Bruce H. Krogh:
Formal verification of Statecharts using finite-state model checkers. ACC 2001: 313-318 - [c20]Dong Jia, Bruce H. Krogh:
Distributed model predictive control. ACC 2001: 2767-2772 - [c19]Hai-Long Pei, Bruce H. Krogh:
Stability regions for systems with mode transitions. ACC 2001: 4834-4839 - [c18]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:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c17]José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh:
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. HSCC 2001: 247-260 - 2000
- [e1]Nancy A. Lynch, Bruce H. Krogh:
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Lecture Notes in Computer Science 1790, Springer 2000, ISBN 3-540-67259-1 [contents]
1990 – 1999
- 1999
- [j15]José Eduardo Ribeiro Cury, Bruce H. Krogh:
Robustness of supervisors for discrete-event systems. IEEE Trans. Autom. Control. 44(2): 376-379 (1999) - [c16]Bruce H. Krogh:
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN 1999: 106 - [c15]Bruce H. Krogh:
Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2 - [c14]Alongkrit Chutinan, Bruce H. Krogh:
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90 - 1998
- [j14]Archana S. Sathaye, Bruce H. Krogh:
Supervisor Synthesis for Real-Time Discrete Event Systems. Discret. Event Dyn. Syst. 8(1): 5-35 (1998) - [j13]José E. R. Cury, Bruce H. Krogh, Toshihiko Niinomi:
Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Autom. Control. 43(4): 564-568 (1998) - [c13]Enrique D. Ferreira
, Bruce H. Krogh:
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC 1998: 126-142 - 1997
- [j12]Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua:
A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discret. Event Dyn. Syst. 7(2): 151-190 (1997) - [c12]Alongkrit Chutinan, Bruce H. Krogh:
Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37 - [c11]Enrique D. Ferreira, Bruce H. Krogh:
Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems 1997: 86-99 - 1995
- [c10]Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig:
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM 1995: 421-426 - [c9]Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury:
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems 1995: 475-484 - 1992
- [j11]Timothy J. Graettinger, Bruce H. Krogh:
On the computation of reference signal constraints for guaranteed tracking performance. Autom. 28(6): 1125-1141 (1992) - 1991
- [j10]Bruce H. Krogh, Lawrence E. Holloway:
Synthesis of feedback control logic for discrete manufacturing systems. Autom. 27(4): 641-651 (1991) - [j9]R. S. Sreenivas, Bruce H. Krogh:
On condition/event systems with discrete state realizations. Discret. Event Dyn. Syst. 1(2): 209-236 (1991) - [j8]Dai Feng, Bruce H. Krogh:
Dynamic steering control of conventionally steered mobile robots. J. Field Robotics 8(5): 699-721 (1991) - [j7]Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh:
Path planning for mobile manipulators for multiple task execution. IEEE Trans. Robotics Autom. 7(3): 403-408 (1991) - 1990
- [j6]Ramakrishna Akella, Bruce H. Krogh, Medini R. Singh:
Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems. IEEE Trans. Robotics Autom. 6(6): 659-672 (1990) - [j5]Zbigniew Antoni Banaszak
, Bruce H. Krogh:
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robotics Autom. 6(