| Year |
Citation |
Score |
| 2015 |
Aréchiga N, Kapinski J, Deshmukh JV, Platzer A, Krogh B. Numerically-aided Deductive Safety Proof for a Powertrain Control System Electronic Notes in Theoretical Computer Science. 317: 19-25. DOI: 10.1016/J.Entcs.2015.10.003 |
0.763 |
|
| 2014 |
Rajhans A, Bhave A, Ruchkin I, Krogh BH, Garlan D, Platzer A, Schmerl B. Supporting Heterogeneity in Cyber-Physical Systems Architectures Ieee Transactions On Automatic Control. 59: 3178-3193. DOI: 10.1109/Tac.2014.2351672 |
0.762 |
|
| 2014 |
Althoff M, Krogh BH. Reachability analysis of nonlinear differential-algebraic systems Ieee Transactions On Automatic Control. 59: 371-383. DOI: 10.1109/Tac.2013.2285751 |
0.427 |
|
| 2013 |
Althoff M, Rajhans A, Krogh BH, Yaldiz S, Li X, Pileggi L. Formal verification of phase-locked loops using reachability analysis and continuization Communications of the Acm. 56: 97-104. DOI: 10.1145/2507771.2507783 |
0.409 |
|
| 2012 |
Althoff M, Krogh BH. Avoiding geometric intersection operations in reachability analysis of hybrid systems Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 45-54. DOI: 10.1145/2185632.2185643 |
0.322 |
|
| 2012 |
Rajhans A, Krogh BH. Heterogeneous verification of cyber-physical systems using behavior relations Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 35-44. DOI: 10.1145/2185632.2185641 |
0.341 |
|
| 2012 |
Parolini L, Sinopoli B, Krogh BH, Wang Z. A cyber-physical systems approach to data center modeling and control for energy efficiency Proceedings of the Ieee. 100: 254-268. DOI: 10.1109/JPROC.2011.2161244 |
0.785 |
|
| 2012 |
Weimer J, Krogh BH, Small MJ, Sinopoli B. An approach to leak detection using wireless sensor networks at carbon sequestration sites International Journal of Greenhouse Gas Control. 9: 243-253. DOI: 10.1016/J.Ijggc.2012.04.001 |
0.364 |
|
| 2012 |
Arechiga N, Loos SM, Platzer A, Krogh BH. Using theorem provers to guarantee closed-loop system properties Proceedings of the American Control Conference. 3573-3580. |
0.316 |
|
| 2011 |
Parolini L, Sinopoli B, Krogh BH. Model predictive control of data centers in the smart grid scenario Ifac Proceedings Volumes (Ifac-Papersonline). 18: 10505-10510. DOI: 10.3182/20110828-6-It-1002.03237 |
0.771 |
|
| 2011 |
Weimer JE, Sinopoli B, Krogh BH. Large-scale source localization with a wireless sensor network application Ifac Proceedings Volumes (Ifac-Papersonline). 18: 4278-4283. DOI: 10.3182/20110828-6-It-1002.03232 |
0.301 |
|
| 2011 |
Bhave A, Krogh BH, Garlan D, Schmerl B. View consistency in architectures for cyber-physical systems Proceedings - 2011 Ieee/Acm 2nd International Conference On Cyber-Physical Systems, Iccps 2011. 151-160. DOI: 10.1109/ICCPS.2011.17 |
0.333 |
|
| 2011 |
Rajhans A, Bhave A, Loos S, Krogh BH, Platzer A, Garlan D. Using parameters in architectural views to support heterogeneous design and verification Proceedings of the Ieee Conference On Decision and Control. 2705-2710. DOI: 10.1109/CDC.2011.6161408 |
0.336 |
|
| 2011 |
Althoff M, Krogh BH, Stursberg O. Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties Mathematical Engineering. 3: 69-94. DOI: 10.1007/978-3-642-15956-5_4 |
0.322 |
|
| 2010 |
Parolini L, Tolia N, Sinopoli B, Krogh BH. A cyber-physical systems approach to energy management in data centers Proceedings of the 1st Acm/Ieee International Conference On Cyber-Physical Systems, Iccps '10. 168-177. DOI: 10.1145/1795194.1795218 |
0.79 |
|
| 2010 |
Parolini L, Garone E, Sinopoli B, Krogh BH. A hierarchical approach to energy management in data centers Proceedings of the Ieee Conference On Decision and Control. 1065-1070. DOI: 10.1109/CDC.2010.5718148 |
0.774 |
|
| 2010 |
Balaji S, Ilic J, Ydstie BE, Krogh BH. Control-based modeling and simulation of the chemical-looping combustion process Industrial and Engineering Chemistry Research. 49: 4566-4575. DOI: 10.1021/Ie901540M |
0.378 |
|
| 2009 |
Rajhans A, Cheng S, Schmerl BR, Garlan D, Krogh BH, Agbi C, Bhave A. An Architectural Approach to the Design and Analysis of Cyber-Physical Systems Electronic Communication of the European Association of Software Science and Technology. 21. DOI: 10.14279/Tuj.Eceasst.21.286.278 |
0.754 |
|
| 2009 |
Zhang H, Moura J, Krogh B. Dynamic Field Estimation Using Wireless Sensor Networks: Tradeoffs Between Estimation Error and Communication Cost Ieee Transactions On Signal Processing. 57: 2383-2395. DOI: 10.1109/Tsp.2009.2015110 |
0.504 |
|
| 2008 |
Blood EA, Krogh BH, Ilić MD. Electric power system static state estimation through Kalman filtering and load forecasting Ieee Power and Energy Society 2008 General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, Pes. DOI: 10.1109/PES.2008.4596742 |
0.619 |
|
| 2008 |
Bhave AY, Krogh BH. Performance bounds on State-Feedback controllers with network delay Proceedings of the Ieee Conference On Decision and Control. 4608-4613. DOI: 10.1109/CDC.2008.4739330 |
0.748 |
|
| 2008 |
Kapinski J, Donze A, Lerda F, Maka H, Wagner S, Krogh BH. Control software model checking using bisimulation functions for nonlinear systems Proceedings of the Ieee Conference On Decision and Control. 4024-4029. DOI: 10.1109/CDC.2008.4739247 |
0.38 |
|
| 2008 |
Lerda F, Kapinski J, Maka H, Clarke EM, Krogh BH. Model checking in-the-loop: Finding counterexamples by systematic simulation Proceedings of the American Control Conference. 2734-2740. DOI: 10.1109/ACC.2008.4586906 |
0.338 |
|
| 2008 |
Lerda F, Kapinski J, Clarke EM, Krogh BH. Verification of supervisory control software using state proximity and merging Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 344-357. DOI: 10.1007/978-3-540-78929-1-25 |
0.351 |
|
| 2006 |
He T, Krishnamurthy S, Luo L, Yan T, Gu L, Stoleru R, Zhou G, Cao Q, Vicaire P, Stankovic JA, Abdelzaher TF, Hui J, Krogh B. VigilNet: An integrated sensor network system for energy-efficient surveillance Acm Transactions On Sensor Networks. 2: 1-38. DOI: 10.1145/1138127.1138128 |
0.321 |
|
| 2006 |
Ekberg G, Krogh BH. Programming discrete control systems using state machine templates Proceedings - Eighth International Workshop On Discrete Event Systems, Wodes 2006. 194-200. DOI: 10.1109/WODES.2006.1678430 |
0.304 |
|
| 2006 |
Blood EA, Ilić MD, Ilić J, Krogh BH. A Kalman filter approach to quasi-static state estimation in electric power systems 2006 38th Annual North American Power Symposium, Naps-2006 Proceedings. 417-422. DOI: 10.1109/NAPS.2006.359606 |
0.626 |
|
| 2006 |
Han Z, Chutinan A, Krogh BH. ACTL strong negation and its application to hybrid systems verification Control Engineering Practice. 14: 1259-1267. DOI: 10.1016/S1474-6670(17)30766-8 |
0.601 |
|
| 2006 |
Frehse G, Krogh BH, Rutenbar RA, Maler O. Time Domain Verification of Oscillator Circuit Properties Electronic Notes in Theoretical Computer Science. 153: 9-22. DOI: 10.1016/J.Entcs.2006.02.019 |
0.353 |
|
| 2006 |
Kumar R, Krogh BH. Heterogeneous verification of embedded control systems Proceedings of the American Control Conference. 2006: 4597-4602. |
0.307 |
|
| 2005 |
Koopman P, Smailagic A, Steenkiste P, Thomas DE, Wang C, Choset H, Gandhi R, Krogh B, Marculescu D, Narasimhan P, Paul JM, Rajkumar R, Siewiorek D. Undergraduate embedded system education at carnegie mellon Acm Transactions On Embedded Computing Systems. 4: 500-528. DOI: 10.1145/1086519.1086522 |
0.393 |
|
| 2005 |
Ren Z, Krogh BH, Marculescu R. Hierarchical adaptive dynamic power management Ieee Transactions On Computers. 54: 409-420. DOI: 10.1109/Tc.2005.66 |
0.544 |
|
| 2005 |
Han Z, Krogh BH. Reachability analysis for affine systems using ε-decomposition Proceedings of the 44th Ieee Conference On Decision and Control, and the European Control Conference, Cdc-Ecc '05. 2005: 6984-6990. DOI: 10.1109/CDC.2005.1583286 |
0.368 |
|
| 2005 |
Jia D, Krogh BH, Stursberg O. LMI approach to robust model predictive control Journal of Optimization Theory and Applications. 127: 347-365. DOI: 10.1007/S10957-005-6549-2 |
0.583 |
|
| 2005 |
Kumar R, Krogh BH, Feiler P. An ontology-based approach to heterogeneous verification of embedded control systems Lecture Notes in Computer Science. 3414: 370-385. |
0.329 |
|
| 2004 |
Fehnker A, Krogh BH. Hybrid system verification is not a sinecure the electronic throttle control case study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3299: 263-277. DOI: 10.1142/S0129054106004169 |
0.403 |
|
| 2004 |
Kapinski J, Schmidt K, Krogh BH. Reachability analysis using proximity based automata Ifac Proceedings Volumes. 37: 315-320. DOI: 10.1016/S1474-6670(17)30765-6 |
0.76 |
|
| 2004 |
Stursberg O, Fehnker A, Han Z, Krogh BH. Verification of a cruise control system using counterexample-guided search Control Engineering Practice. 12: 1269-1278. DOI: 10.1016/J.Conengprac.2004.04.002 |
0.601 |
|
| 2004 |
Schmidt K, Kapinski J, Krogh BH. Control input synthesis for hybrid systems using informed search Proceedings of the Ieee International Symposium On Computer-Aided Control System Design. 41-46. |
0.345 |
|
| 2003 |
Clarke EM, Fehnker A, Han Z, Krogh BH, Ouaknine J, Stursberg O, Theobald M. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems International Journal of Foundations of Computer Science. 14: 583-604. DOI: 10.1142/S012905410300190X |
0.613 |
|
| 2003 |
Chutinan A, Krogh BH. Computational techniques for hybrid system verification Ieee Transactions On Automatic Control. 48: 64-75. DOI: 10.1109/Tac.2002.806655 |
0.419 |
|
| 2003 |
Zhao Q, Krogh BH, Hubbard P. Generating test inputs for embedded control systems Ieee Control Systems Magazine. 23: 49-57. DOI: 10.1109/Mcs.2003.1213603 |
0.378 |
|
| 2003 |
Stursberg O, Fehnker A, Han Z, Krogh BH. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods Ifac Proceedings Volumes. 36: 289-294. DOI: 10.1016/S1474-6670(17)36446-7 |
0.617 |
|
| 2002 |
Miyamoto T, Krogh BH, Kumagai S. Context-dependent agents for real-time scheduling in manufacturing systems Ieice Transactions On Fundamentals of Electronics, Communications and Computer Sciences. 2407-2413. DOI: 10.3182/20020721-6-Es-1901.00046 |
0.393 |
|
| 2002 |
Krogh BH. Recent advances in discrete analysis and control of hybrid systems Proceedings - 6th International Workshop On Discrete Event Systems, Wodes 2002. 311-314. DOI: 10.1109/WODES.2002.1167704 |
0.328 |
|
| 2002 |
Kapinski J, Krogh BH. Verifying switched-mode computer controlled systems 2002 Ieee International Symposium On Computer Aided Control System Design, Cacsd 2002 - Proceedings. 98-103. DOI: 10.1109/CACSD.2002.1036936 |
0.397 |
|
| 2002 |
Maler O, Krogh BH, Mahfoudh M. On control with bounded computational resources Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2469: 147-162. DOI: 10.1007/3-540-45739-9_11 |
0.441 |
|
| 2001 |
Zhao Q, Krogh BH. Formal verification of statecharts using finite-state model checkers Proceedings of the American Control Conference. 1: 313-318. DOI: 10.1109/Tcst.2006.876921 |
0.418 |
|
| 2001 |
Chutinan A, Krogh BH. Verification of infinite-state dynamic systems using approximate quotient transition systems Ieee Transactions On Automatic Control. 46: 1401-1410. DOI: 10.1109/9.948467 |
0.404 |
|
| 2001 |
Jia D, Krogh BH. Distributed model predictive control Proceedings of the American Control Conference. 4: 2767-2772. DOI: 10.1109/37.980246 |
0.575 |
|
| 2001 |
Silva BI, Krogh BH. Modeling and verification of hybrid systems with clocked and unclocked events Proceedings of the Ieee Conference On Decision and Control. 1: 762-767. |
0.324 |
|
| 2001 |
Silva BI, Krogh BH. Modeling and verification of sampled-data hybrid systems Journal Europeen Des Systemes Automatises. 35: 489-502. |
0.3 |
|
| 2000 |
Chutinan A, Krogh BH. Computing Approximating Automata for a Class of Hybrid Systems Mathematical and Computer Modelling of Dynamical Systems. 6: 30-50. DOI: 10.1076/1387-3954(200003)6:1;1-Q;Ft030 |
0.391 |
|
| 1999 |
Cury JER, Krogh BH. Robustness of supervisors for discrete-event systems Ieee Transactions On Automatic Control. 44: 376-379. DOI: 10.1109/9.746270 |
0.348 |
|
| 1999 |
Ferreira ED, Krogh BH. Controller scheduling using neural networks: Implementation and experimental results Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1567: 86-99. DOI: 10.1007/3-540-49163-5_5 |
0.415 |
|
| 1999 |
Chutinan A, Krogh BH. Computing approximating automata for a class of linear hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1567: 16-37. DOI: 10.1007/3-540-49163-5_2 |
0.437 |
|
| 1999 |
Krogh BH. Recent developments in modeling and analysis of hybrid dynamic systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1639: 106. DOI: 10.1007/3-540-48745-X_7 |
0.461 |
|
| 1999 |
Krogh BH. Approximating hybrid system dynamics for analysis and control Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1569: 2. |
0.356 |
|
| 1998 |
Cury JER, Krogh BH, Niinomi T. Synthesis of supervisory controllers for hybrid systems based on approximating automata Ieee Transactions On Automatic Control. 43: 564-568. DOI: 10.1109/9.664159 |
0.401 |
|
| 1998 |
Seto D, Krogh BH, Sha L, Chutinan A. Dynamic control system upgrade using the simplex architecture Ieee Control Systems Magazine. 18: 72-80. DOI: 10.1109/37.710880 |
0.403 |
|
| 1998 |
Sathaye AS, Krogh BH. Supervisor Synthesis for Real-Time Discrete Event Systems Discrete Event Dynamic Systems: Theory and Applications. 8: 5-35. DOI: 10.1023/A:1008252325849 |
0.429 |
|
| 1998 |
Cury JER, Krogh BH. Supervisor Synthesis for Discrete Event Systems with Finite and Infinite Specifications Ifac Proceedings Volumes. 31: 423-428. DOI: 10.1016/S1474-6670(17)42028-3 |
0.368 |
|
| 1997 |
Holloway LE, Krogh BH, Giua A. A Survey of Petri Net Methods for Controlled Discrete Event Systems Discrete Event Dynamic Systems: Theory and Applications. 7: 151-190. DOI: 10.1023/A:1008271916548 |
0.476 |
|
| 1996 |
Greve DW, Knight TJ, Cheng X, Krogh BH, Gibson MA, LaBrosse J. Process control based on quadrupole mass spectrometry Journal of Vacuum Science and Technology B: Microelectronics and Nanometer Structures. 14: 489-493. DOI: 10.1116/1.588500 |
0.323 |
|
| 1996 |
Gibson M, Ferreira E, Cheng X, Knight T, Greve D, Krogh B. System Identification Methods for Plasma Enhanced Chemical Vapor Deposition Ifac Proceedings Volumes. 29: 6113-6118. DOI: 10.1016/S1474-6670(17)58661-9 |
0.363 |
|
| 1996 |
Reich JE, Krogh BH, Bexter ID. Symbolic Simulation Based Techniques for Debugging Discrete Control Programs Ifac Proceedings Volumes. 29: 4837-4842. DOI: 10.1016/S1474-6670(17)58446-3 |
0.375 |
|
| 1996 |
Cheng X, Krogh BH. A New Approach to Guaranteed Stability for Receding Horizon Control Ifac Proceedings Volumes. 29: 1410-1415. DOI: 10.1016/S1474-6670(17)57864-7 |
0.383 |
|
| 1996 |
Niinomi T, Krogh BH, Cury JER. Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1066: 475-484. DOI: 10.1007/BFb0020969 |
0.313 |
|
| 1993 |
Falcione A, Krogh BH. Design recovery for relay ladder logic Ieee Control Systems Magazine. 13: 90-98. DOI: 10.1109/37.206990 |
0.318 |
|
| 1993 |
Brave Y, Krogh BH. Maximally Permissive Policies for Controlled Time Marked Graphs Ifac Proceedings Volumes. 26: 375-378. DOI: 10.1016/S1474-6670(17)48492-8 |
0.4 |
|
| 1992 |
Holloway LE, Krogh BH. On Closed-Loop Liveness of Discrete-Event Systems Under Maximally Permissive Control Ieee Transactions On Automatic Control. 37: 692-697. DOI: 10.1109/9.135519 |
0.438 |
|
| 1992 |
Sreenivas RS, Krogh BH. On Petri Net Models of Infinite State Supervisors Ieee Transactions On Automatic Control. 37: 274-277. DOI: 10.1109/9.121634 |
0.433 |
|
| 1992 |
Paul CJ, Holloway LE, Yan D, Strosnider JK, Krogh BH. An Intelligent Reactive Monitoring and Scheduling System Ieee Control Systems. 12: 78-86. DOI: 10.1109/37.165523 |
0.371 |
|
| 1992 |
Holloway LE, Krogh BH. Monitoring behavioral evolution for on-line fault detection Ifac Symposia Series. 313-319. DOI: 10.1016/S1474-6670(17)51160-X |
0.347 |
|
| 1992 |
Holloway L, Krogh B. On-Line Trajectory Encoding for Discrete-Observation Process Monitoring Ifac Proceedings Volumes. 25: 145-150. DOI: 10.1016/S1474-6670(17)50231-1 |
0.338 |
|
| 1992 |
Graettinger TJ, Krogh BH. On the computation of reference signal constraints for guaranteed tracking performance Automatica. 28: 1125-1141. DOI: 10.1016/0005-1098(92)90055-K |
0.401 |
|
| 1991 |
Graettinger TJ, Krogh BH. Constraint generation for trajectory planning systems Ifac Symposia Series - Proceedings of a Triennial World Congress. 5: 71-76. DOI: 10.1016/S1474-6670(17)51714-0 |
0.375 |
|
| 1991 |
Holloway L, Krogh B. On-Line Evaluation of Systems with Discrete Observations Ifac Proceedings Volumes. 24: 41-46. DOI: 10.1016/S1474-6670(17)51221-5 |
0.364 |
|
| 1991 |
Krogh BH, Holloway LE. Synthesis of feedback control logic for discrete manufacturing systems Automatica. 27: 641-651. DOI: 10.1016/0005-1098(91)90055-7 |
0.43 |
|
| 1991 |
Sreenivas RS, Krogh BH. On condition/event systems with discrete state realizations Discrete Event Dynamic Systems: Theory and Applications. 1: 209-236. DOI: 10.1007/Bf01805563 |
0.358 |
|
| 1991 |
Graettinger TJ, Krogh BH. Hyperplane method for reachable state estimation for linear time-invariant systems Journal of Optimization Theory and Applications. 69: 555-588. DOI: 10.1007/Bf00940689 |
0.383 |
|
| 1991 |
Feng D, Krogh BH. Dynamic steering control of conventionally steered mobile robots Journal of Robotic Systems. 8: 699-721. DOI: 10.1002/Rob.4620080508 |
0.316 |
|
| 1990 |
Holloway LE, Krogh BH. Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets Ieee Transactions On Automatic Control. 35: 514-523. DOI: 10.1109/9.53517 |
0.426 |
|
| 1990 |
Akella R, Krogh BH, Singh MR. Efficient Computation of Coordinating Controls in Hierarchical Structures for Failure-Prone Multi-Cell Flexible Assembly Systems Ieee Transactions On Robotics and Automation. 6: 659-672. DOI: 10.1109/70.63269 |
0.355 |
|
| 1990 |
Willson RG, Krogh BH. Petri Net Tools for the Specification and Analysis of Discrete Controllers Ieee Transactions On Software Engineering. 16: 39-50. DOI: 10.1109/32.44362 |
0.385 |
|
| 1989 |
Graettinger TJ, Krogh BH. Evaluation and time-scaling of trajectories for wheeled mobile robots Journal of Dynamic Systems, Measurement and Control, Transactions of the Asme. 111: 222-231. DOI: 10.1115/1.3153040 |
0.307 |
|
| 1989 |
Krogh BH, Feng D. Dynamic Generation of Subgoals for Autonomous Mobile Robots Using Local Feedback Information Ieee Transactions On Automatic Control. 34: 483-493. DOI: 10.1109/9.24200 |
0.306 |
|
| 1989 |
Holloway L, Krogh B. Synthesis of Feedback Control for Forbidden State Problems in Discrete Manufacturing Systems Ifac Proceedings Volumes. 22: 11-16. DOI: 10.1016/S1474-6670(17)54319-0 |
0.43 |
|
| 1987 |
Krogh BH, Ekberg G. Automatic Programming of Controllers for Discrete Manufacturing Processes Ifac Proceedings Volumes. 20: 161-165. DOI: 10.1016/S1474-6670(17)55311-2 |
0.383 |
|
| 1986 |
Diehl KS, Krogh BH, Nagurka ML. An Interactive Control Systems Simulator Ieee Control Systems Magazine. 6: 20-26. DOI: 10.1109/Mcs.1986.1105069 |
0.35 |
|
| 1985 |
Mason JM, Neuman CP, Krogh BH. CACHE: An Interactive Control System Analysis and Design Package Ieee Transactions On Education. 28: 143-149. DOI: 10.1109/TE.1985.4321762 |
0.354 |
|
| 1984 |
Chow JH, Schulz RP, Krogh BH. Simulation Testing Of Rate Allocation Control To Relieve Transmission Overloads During Emergencies Ieee Power & Energy Magazine. 103: 2854-2863. DOI: 10.1109/Tpas.1984.318283 |
0.354 |
|
| 1984 |
Krogh BH, Kokotovic PV. Feedback Control of Overloaded Networks Ieee Transactions On Automatic Control. 29: 704-711. DOI: 10.1109/Tac.1984.1103638 |
0.398 |
|
| Show low-probability matches. |