Filter Results:
- Full text PDF available (40)
Publication Year
1982
2018
- This year (2)
- Last 5 years (10)
- Last 10 years (43)
Publication Type
Co-author
Journals and Conferences
Learn More
In model predictive control (MPC), also called receding horizon control, the control input is obtained by solving a discrete-time optimal control problem over a given horizon, producing an optimal… (More)
- Tian He, Sudha Krishnamurthy, +7 authors Bruce H. Krogh
- MobiSys
- 2004
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of risk for human… (More)
- Tian He, Sudha Krishnamurthy, +10 authors Bruce H. Krogh
- TOSN
- 2006
This article describes one of the major efforts in the sensor network community to build an integrated sensor network system for surveillance missions. The focus of this effort is to acquire and… (More)
- Lin Gu, Dong Jia, +8 authors Bruce H. Krogh
- SenSys
- 2005
A wide variety of sensors have been incorporated into a spectrum of wireless sensor network (WSN) platforms, providing flexible sensing capability over a large number of low-power and inexpensive… (More)
- Alongkrit Chutinan, Bruce H. Krogh
- IEEE Trans. Automat. Contr.
- 2003
This paper concerns computational methods for verifying properties of polyhedral invariant hybrid automata(PIHA), which are hybrid automata with discrete transitions governed by polyhedral guards. To… (More)
- Alongkrit Chutinan, Bruce H. Krogh
- HSCC
- 1999
This paper presents a computational technique for verifying properties of hybrid systems with arbitrary continuous dynamics. The approach is based on the computation of approximating automata, which… (More)
Hybrid dynamic systems include both continuous and discrete state variables. Properties of hybrid systems, which have an infinite state space, can often be verified using ordinary model checking… (More)
- Edmund M. Clarke, Ansgar Fehnker, +4 authors Michael Theobald
- Int. J. Found. Comput. Sci.
- 2003
ion and Counterexample-Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke Ansgar Fehnker Zhi Han Bruce Krogh Jöel Ouaknine Olaf Stursberg Michael Theobald January 2003 CMU-CS-03-104… (More)
- Ramavarapu S. Sreenivas, Bruce H. Krogh
- Discrete Event Dynamic Systems
- 1991
This paper introduces condition/event (C/E) systems as a class of continuous-time discrete event dynamic systems (DEDS) with two types of discrete-valued input and output signals: condition signals… (More)