Papers Co-Authored by B.H. Krogh (return to home page)
(see below for additional papers by other authors from work supported in part by NSF Grant 0411152: Graph-based Refinement Strategies for Hybrid Systems -- Co-PI: Prof. Edmund M. Clarke)
Selected recent journal papers
G. Frehse, B.H. Krogh, R.A. Rutenbar, O. Maler: Time domain verification of oscillator circuit properties. Electr. Notes Theor. Comput. Sci. 153(3): 9-22 (2006). (pdf)
T. He, S. Krishnamurthy, L. Luo, T. Yan, R. Stoleru, L. Gu, G. Zhou, Q. Cao, P Vicaire, J. Stankovic, T. Abdelzaher, J. Hui and B. Krogh, VigilNet: An integrated sensor network system for energy efficient surveillance, ACM Transactions on Sensor Networks, Vol. 2, No. 1, Feb. 2006, pp. 1-38. (pdf)
Q. Zhao and B. H. Krogh, Formal verification of statecharts using finite-state model checkers, IEEE Trans. on Control Systems Technology, Volume 14, Issue 5, Sept. 2006 Page(s):943 - 950. (pdf)
D. Jia, B. H. Krogh, and O. Stursberg, An LMI approach to robust model predictive control, Journal of Optimization Theory and Applications, Vol. 127, No. 2, November, 2005. (pdf)
E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, M. Theobald, Abstraction and counterexample-guided refinement in model checking of hybrid systems, International Journal of Foundations of Computer Science, Special Issue on Verification and Analysis of Infinite State Systems, August 2003, pp. 583-604. (pdf)
Z. Ren, B. H. Krogh, R. Marculescu, Hierarchical adaptive dynamic power management, IEEE Transactions on Computers, Vol. 54, no. 4, April 2005, pp. 409-420. (pdf)
Q. Zhao, B. H. Krogh and P. Hubbard, Automatic generation of test inputs for embedded control systems, IEEE Control Systems Magazine, vol. 23, no. 4, Aug. 2003, pp. 49-57. (pdf)
A. Chutinan and B. H. Krogh, Computational techniques for hybrid system verification, IEEE Trans. on Automatic Control, vol. 48, no. 1, 2003, pp. 64-75. (pdf)
E. Camponogara, D. Jia, B. H. Krogh, and S. Talukdar, Distributed model predictive control, IEEE Control Systems Magazine, vol. 22, no. 1, pp. 44-52, Feb. 2002. (pdf)
A. Chutinan and B. H. Krogh, Verification of infinite-state dynamic systems using approximate quotient transition systems, IEEE Trans. on Automatic Control, vol. 46, no. 9, pp. 1401-1410, Sept. 2001. (pdf)
Selected recent conference papers
J. Kapinski, A. Donze, F. Lerda, H. Maka, S. Wagner, and B.H. Krogh, Control software model checking using bisimulation functions for nonlinear systems, IEEE Conf. on Decision and Control, Dec. 2008. (pdf)
F. Lerda, J. Kapinski, E.M. Clarke, and B.H. Krogh, Verification of supervisory control software using state proximity and merging, Hybrid Systems: Computation and Control, LNCS 4981, Springer, 2008. (pdf)
F. Lerda, J. Kapinski, H. Maka, E.M. Clarke, and B.H. Krogh, Model checking in-the-loop: Finding counterexamples by systematic simulation, American Control Conference, June 2008. (pdf)
G. Frehse, S. Jha, and B.H. Krogh, A counterexample-guided approach to parameter synthesis for linear hybrid automata, Hybrid Systems: Computation and Control, LNCS 4981, Springer, 2008. (pdf)
S. Jha, B.H. Krogh, J.E. Weimer, E.M. Clarke, A counterexample-guided approach to parameter synthesis for linear hybrid automata, Hybrid Systems: Computation and Control, LNCS 4416, Springer, 2007. (pdf)
G. Frehse, B.H. Krogh, R.A. Rutenbar, Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 (pdf)
Additional papers by other authors from work supported in part by NSF Grant 0411152: Graph-based Refinement Strategies for Hybrid Systems -- Co-PI: Prof. Edmund M. Clarke
G. Frehse, PHAVer: algorithmic verification of hybrid systems past HyTech, International Journal on Software Tools for Technology Transfer (STTT), Vol. 10, No. 3, June, 2008, pp. 263-279. (pdf)
A. Platzer, E. M. Clarke: Computing differential invariants of hybrid systems as fixedpoints. CAV 2008, LNCS 5123, Springer, 2008, pp. 176-189 (pdf)
E.M. Clarke, M. Talupur, H. Veith: Proving Ptolemy right: the environment abstraction framework for model checking concurrent systems. TACAS 2008: LNCS 4963, Springer, 2008, pp. (pdf)
A. Platzer, E.M. Clarke: The Image Computation Problem in Hybrid Systems Model Checking. HSCC 2007: LNCS 4416, Springer, 2007, pp. 473-486 (pdf)
S. Scherer, F. Lerda, E. Clarke, Model checking of robotic control systems, Proc. of the 8th International symposium on Artificial Intelligence, Robotics and Automation in Space,2005, pp. 5-8. (pdf)
Return to top.