Search results for "Bruce H. Krogh"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang	A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency.	Proceedings of the IEEE	2012	DBLP DOI BibTeX RDF
1	Akshay Rajhans, Bruce H. Krogh	Heterogeneous verification of cyber-physical systems using behavior relations.	HSCC	2012	DBLP DOI BibTeX RDF
1	Matthias Althoff, Bruce H. Krogh	Avoiding geometric intersection operations in reachability analysis of hybrid systems.	HSCC	2012	DBLP DOI BibTeX RDF
1	Matthias Althoff, Bruce H. Krogh	Zonotope bundles for the efficient computation of reachable sets.	CDC-ECE	2011	DBLP DOI BibTeX RDF
1	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-ECE	2011	DBLP DOI BibTeX RDF
1	Matthias Althoff, Colas Le Guernic, Bruce H. Krogh	Reachable set computation for uncertain time-varying linear systems.	HSCC	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Oded Maler, Kim G. Larsen, Bruce H. Krogh	On Zone-Based Analysis of Duration Probabilistic Automata	INFINITY	2010	DBLP DOI BibTeX RDF
1	Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh	A hierarchical approach to energy management in data centers.	CDC	2010	DBLP DOI BibTeX RDF
1	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.	ECEASST	2009	DBLP BibTeX RDF
1	Haotian Zhang, José M. F. Moura, Bruce H. Krogh	Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost.	IEEE Transactions on Signal Processing	2009	DBLP DOI BibTeX RDF
1	James E. Weimer, Bruno Sinopoli, Bruce H. Krogh	Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.	HSCC	2009	DBLP DOI BibTeX RDF
1	James E. Weimer, Bruno Sinopoli, Bruce H. Krogh	A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
1	Ajinkya Bhave, Bruce H. Krogh	Performance bounds on state-feedback controllers with network delay.	CDC	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh	Verification of Supervisory Control Software Using State Proximity and Merging.	HSCC	2008	DBLP DOI BibTeX RDF
1	Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Bruce H. Krogh	From Analysis to Design.	FORMATS	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
1	James E. Weimer, Bruce H. Krogh	Hierarchical modeling of mode-switching systems.	SCSC	2007	DBLP DOI BibTeX RDF	hybrid systems, hierarchical models, block diagrams, mode-switching
1	Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Bruce H. Krogh	Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study.	Int. J. Found. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler	Time Domain Verification of Oscillator Circuit Properties.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	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.	TOSN	2006	DBLP DOI BibTeX RDF	Sensor networks, wireless, tracking, energy conservation
1	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.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Healthcare technology, Medical software, Clinical software engineering
1	Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar	Verifying analog oscillator circuits using forward/backward abstraction refinement.	DATE	2006	DBLP DOI BibTeX RDF
1	Zhi Han, Bruce H. Krogh	Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.	HSCC	2006	DBLP DOI BibTeX RDF
1	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. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	Embedded systems education, curriculum
1	Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu	Hierarchical Adaptive Dynamic Power Management.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	adaptive dynamic power management, nonstationary service requests, Low-power design, hierarchical modeling
1	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	DBLP DOI BibTeX RDF	vigilNet, wireless sensor networks, classification
1	Haotian Zhang, José M. F. Moura, Bruce H. Krogh	Estimation in sensor networks: a graph approach.	IPSN	2005	DBLP DOI BibTeX RDF
1	Rajesh Kumar 0005, Bruce H. Krogh, Peter H. Feiler	An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.	HSCC	2005	DBLP DOI BibTeX RDF	ontology, theorem proving, knowledge base, knowledge integration
1	Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh	Refining Abstractions of Hybrid Systems Using Counterexample Fragments.	HSCC	2005	DBLP DOI BibTeX RDF
1	Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar	Managing Verification Activities Using SVM.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Bruce H. Krogh	Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.	ATVA	2004	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu	Hierarchical Adaptive Dynamic Power Management.	DATE	2004	DBLP DOI BibTeX RDF	hierarchical adaptive dynamic power management, nonstationary service requests, low-power design
1	Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar	Towards formal verification of analog designs.	ICCAD	2004	DBLP DOI BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh	Sentry-Based Power Management in Wireless Sensor Networks.	IPSN	2003	DBLP DOI BibTeX RDF	wireless sensor networks, tracking, Power management
1	James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg	On Systematic Simulation of Open Continuous Systems.	HSCC	2003	DBLP DOI BibTeX RDF
1	Olaf Stursberg, Bruce H. Krogh	Efficient Representation and Computation of Reachable Sets for Hybrid Systems.	HSCC	2003	DBLP DOI BibTeX RDF	Hybrid Dynamic Systems, Hyperrectangles, Model Checking, Singular Value Decomposition, Convex Hull, Polyhedra
1	Oded Maler, Bruce H. Krogh, Moez Mahfoudh	On Control with Bounded Computational Resources.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	José M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh	Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.	HSCC	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Bruce H. Krogh (eds.)	Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings	HSCC	2000	DBLP BibTeX RDF
1	Bruce H. Krogh	Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract).	ICATPN	1999	DBLP DOI BibTeX RDF
1	Alongkrit Chutinan, Bruce H. Krogh	Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.	HSCC	1999	DBLP DOI BibTeX RDF
1	Bruce H. Krogh	Approximating Hybrid System Dynamics for Analysis and Control (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
1	Archana S. Sathaye, Bruce H. Krogh	Supervisor Synthesis for Real-Time Discrete Event Systems.	Discrete Event Dynamic Systems	1998	DBLP DOI BibTeX RDF
1	Enrique D. Ferreira, Bruce H. Krogh	Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance.	HSCC	1998	DBLP DOI BibTeX RDF
1	Alongkrit Chutinan, Bruce H. Krogh	Computing Approximating Automata for a Class of Linear Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
1	Enrique D. Ferreira, Bruce H. Krogh	Controller Scheduling Using Neural Networks: Implementation and Experimental Results.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury	Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
1	Timothy J. Graettinger, Bruce H. Krogh	On the computation of reference signal constraints for guaranteed tracking performance.	Automatica	1992	DBLP DOI BibTeX RDF
1	Bruce H. Krogh, Lawrence E. Holloway	Synthesis of feedback control logic for discrete manufacturing systems.	Automatica	1991	DBLP DOI BibTeX RDF
1	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
1	Bruce H. Krogh, H. Vincent Poor	The segment method as an alternative to minimax in hypothesis testing.	Inf. Sci.	1982	DBLP DOI BibTeX RDF

Publications of "Bruce H. Krogh" ( http://dblp.L3S.de/Authors/Bruce_H._Krogh )