Publications

 

 

Go to: 2009, 2008, 2007 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999.

Sensor Network Publication

2009

Lara S. Crawford, Haitham Hindi, Rong Zhou, and Dan Larner. “Synchronized Control in a Large-Scale Networked Distributed Printing System”. IEEE International Conference on Robotics and Automation, 2009, to appear.

J. Benton, Minh B. Do, and Subbarao Kambhampati. “Anytime Heuristic Search for Partial Satisfaction Planning”. To appear in Artificial Intelligent Journal (AIJ).

Ole Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, and Serdar Uckun. “Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study”.  IEEE Journal on Systems, Man, and Cybernetics, 2009 (submitted).

2008

S. Uckun, K. Goebel, and P.J.F. Lucas. “Standardizing Research Methods for Prognostics”, in Proceedings of the International Conference on Prognostics and Health Management (PHM’08), Denver, CO, 2008.

Ole Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Ann Patterson-Hine, Scott Poll, Serdar Uckun. “Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft”. Twentieth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-08), Chicago, IL, 2008.

M. Feather, K. Hicks, R. Mackey, S. Uckun. Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique.  Requirements Engineering 2008, Barcelona, Spain (submitted).

Haitham Hindi and Lara Crawford and Rong Zhou and Craig Eldershaw, “Efficient Waypoint Tracking Hybrid Controllers for Double Integrators using Classical Time Optimal Control”. Proceedings of the IEEE Conference on Decision and Control 2008.

Ying Zhang and Juan Liu. "Controlling Error Propagation in Mobile-Infrastructure-Based Localization". Ying IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS), September 29-- October 2, 2008. Atlanta, GA. [pdf]

M. Chu, J. Liu, and J. E. Reich. "Automatic composition over physical location - a design methodology to enable extensibility in sensing systems", presented at the Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), colocated with the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, April 22--24, 2008,  St Louis, MO. [pdf]

D. Greene, J. Liu, J. Reich, Y. Hirokawa, A. Shinagawa, H. Ito, and T. Mikami. “A Computationally-Efficient Collision Early Warning System for Vehicles, Pedestrians, and Bicyclists”,  ITS World Congress, NY, 2008. [pdf]

D. Greene, J. Liu, M. Mosko, J. Reich, Y. Hirokawa, T. Mikami, and T. Takebayashi. “Using Utility and Microutility for Information Dissemination in VANETS”, presented at the IEEE Intelligent Vehicle Symposium, Eindhoven, the Netherlands, June 4--6, 2008. [pdf]

W. Zhang, T. Matsumoto,  J. Liu, M. Chu, and J. Begole. "Intelligent fitting room: connecting interactive physical fit with social fashion contents",  presented at the Intelligent User Interface (IUI) workshop, Canary Island, Spain, January 13-16, 2008. [pdf]

 "Real-Time clothes comparison based on multi-view vision", by W. Zhang, B. Begole, M. Chu, J. Liu, and N. Yee, International Conference on Distributed Smart Cameras (ICDSC), September 7-11, 2008. Stanford University. [pdf]

Shashidhar Gandham, Ying Zhang, and Qingfeng Huang. "Distributed Time-Optimal Scheduling for Convergecast in Wireless Sensor Networks", Computer Networks, Publisher Elsevier, Vol. 52, Iss. 3, 2008 (PDF)

Juan Liu, Ying Zhang. "Error Control in Distributed Node Self-Localization", accepted to EURASIP, special issue on "Cooperative Localization in Wireless Ad Hoc and Sensor Networks", 2008 (PDF)

Juan Liu, Johan de Kleer, Lukas Kuhn, Bob Price, and Rong Zhou. “A Unified Information Criterion for Evaluating Probe and Test Selection.” International Conference on Prognosis and Health Management, 2008 (PDF)

Minh B. Do, Wheeler Ruml, and Rong Zhou. “Planning for Modular Printers: Beyond Productivity.” To appear in the 18th International Conference on Automated Planning and Scheduling (ICAPS08). (PDF)

Minh B. Do, Wheeler Ruml, and Rong Zhou. “On-line Planning and Scheduling: An Application to Controlling Modular Printers”. In the Proc. of 23rd AAAI Conference on Artificial Intelligence (AAAI08), NECTAR Track.(PDF)

Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. “Pervasive Diagnosis: the Integration of Active Diagnosis into Production Plans”. In the Proc. of 23rd AAAI Conference on Artificial Intelligence (AAAI08), Integrated Intelligent System Track.(PDF)

Allen Hubbe, Wheeler Ruml, Sungwook Yoon, J. Benton, Minh B. Do. “On-line Anticipatory Planning”. To appear in the Workshop on A Reality Check for Planning and Scheduling Under Uncertainty, ICAPS08. (PDF)

Rong Zhou and Eric A. Hansen. “Combining Breadth-First and Depth-First Strategies in Searching for Treewidth.” Presented at the First International Symposium on Search Techniques in Artificial Intelligence and Robotics (STAIR-08), July 13-14, 2008.

Lukas Kuhn, Tim Schmidt, Bob Price, Johan de Kleer, Rong Zhou, and Minh Do. “Heuristic Search for Target-Value Path Problem”. In the Proc. of 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (STAIR-08). (PDF)

Juan Liu, Johan de Kleer, Lukas Kuhn, Bob Price, and Rong Zhou. “A Unified Information Criterion for Evaluating Probe and Test Selection”. DX 2008 PDF

Johan de Kleer, Bob Price, Lukas Kuhn, Minh Do, and Rong Zhou. “A Framework for Continuously Estimating Persistent and Intermittent Failure Probabilities”. To appear in The 19th International Workshop on Principles of Diagnosis (DX-08).

Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. “Pervasive Diagnosis: the Integration of Active Diagnosis into Production Plans.”  To appear in The 19th International Workshop on Principles of Diagnosis (DX-08).

 

2007

Randy Cogilll, Haitham Hindi. "Optimal Routing and Scheduling in Flexible Manufacturing Systems using Integer Programming". IEEE Conf. on Decision & Control 2007. (Talk)

J. Benton, Minh B. Do, Wheeler Ruml. "A Simple Testbed for On-line Planning".  In the Proc. of ICAPS'07 Workshop on Moving Planning and Scheduling Systems into the Real World, 2007

Minh B. Do, Terry Zimmerman, & Subbarao Kambhampati. "Planning and Scheduling with Over-Subscribed Resources, Preferences and Soft Constraints". Tutorial given at the 22nd National Conference on Artificial Intelligence (AAAI07) (link)

Johan de Kleer. "Troubleshooting temporal behavior in “combinational” Circuits". To appear in the Proc. of 18th International Worskhop on Principles of Diagnosis (DX-07), 2007.

Johan de Kleer. "Diagnosing Intermittent Fault". To appear in the Proc. of 18th International Worskhop on Principles of Diagnosis (DX-07), 2007.

Yizhou Wang, Dashan Gao, Haitham Hindi, and Minh B. Do. "Decompose Document Image Using Integer Linear Programming". In the Proc. of 9th International Conference on Document Analysis and Recognition (ICDAR), 2007.

Rong Zhou and Eric A. Hansen. "Parallel Structured Duplicate Detection". In the Proc. of 22nd National Conference on Artificial Intelligence (AAAI), 2007.

Eric A. Hansen and Rong Zhou. "Anytime Heuristic Search". Journal of Artificial Intelligence Research (JAIR) 28, March 2007, pp.267-297.

Johan de Kleer. "Modeling When Connections are the Problem". In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.

Wheeler Ruml and Minh B. Do. "Best-first Utility-guided Search". In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.

Minh B. Do, J. Benton, Menkes van den Briel, and Subbarao Kambhampati: "Planning with Goal Utility Dependencies".  In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.

R. Zhou and E. Hansen: "Edge Partitioning in External-Memory Graph Search". In Proc. of 20th Joint Conference on Artificial Intelligence (IJCAI-07), 2007.

Biplav Srivastava, Subbarao Kambhampati, Tuan A. Nguyen, Minh B. Do, Alfonso Gerevini, and Ivan Serina. "Domain Independent Approaches for Finding Diverse Plans."  In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007.

2006

Johan de Kleer: "Improving probability estimates to lower diagnostic costs". In  International Workshop on Principles of Diagnosis, 2006.

Johan de Kleer: "Modeling when connections are the problem". In Twentieth International Workshop on Qualitative Reasoning, 2006.

Haitham Hinddi: "A tutorial on convex optimization II: duality and interior point methods". In American Control Conference, June 2006

Serdar Yüksel, Haitham Hindi, and Lara Crawford, "Optimal Tracking with Feedback-Feedforward Control Separation over a Network."  In:  Proceedings of the American Control Conference, June 2006, pp. 3500–3506.

Haitham Hindi and Wheeler Ruml: "Network Flow Modeling for Flexible Manufacturing Systems with Re-entrant Lines", Proceedings of the 45th IEEE Conference on Decision and Control (CDC-06), 2006.

Rong Zhou and Eric Hansen: "Domain-Independent Structured Duplicate Detection". Twenty-First National Conference on Artificial Intelligence (AAAI-06), Boston, MA, July 2006.

Rong Zhou and Eric Hansen: "A Breadth-First Approach to Memory-Efficient Graph Search". Twenty-First National Conference on Artificial Intelligence (AAAI-06), Boston, MA, July 2006.

Minh B. Do and Wheeler Ruml: "Lessons Learned in Applying Domain-independent Planning to High-speed Manufacturing". In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06), 2006.

Rune Jensen, Eric Hansen, S. Richards, and Rong Zhou: "Memory-Efficient Symbolic Heuristic Search". Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06), The English Lake District, Cumbria, UK, June 2006.

Rong Zhou and Eric Hansen: "Breadth-First Heuristic Search". In Artificial Intelligence, 170:385-408.

Yi Shang, Wheeler Ruml, and Markus P.J. Fromherz: "Positioning Using Local Maps." In: Ad Hoc Networks, March 2006.

Minh B. Do, J. Benton, & Subbarao Kambhampati: "Planning with Goal Utility Dependencies".  In Proc. of Workshop on Preferences and Soft Constraints in Planning, ICAPS 2006.

Biplav Srivastava, Subbarao Kambhampati, Minh B. Do, and Tuan A. Nguyen: "Finding Inter-Related Plans". In Proc. of Workshop on Plan Analysis and Management, ICAPS 2006.

J. Benton, Subbarao Kambhampati, & Minh B. Do: "YochanPS: PDDL3 Simple Preferences as Partial Satisfaction Planning".  The Fifth International Planning Competition Booklet, ICAPS 2006.

V.N. Smelyanskiy, C. Kiris, V.V. Osipov, D.G. Luchinsky, D.A. Timucin, and S. Uckun.  “Solid Rocket Motor Health Management for Safe Space Flight”.  AIAA-2006-6555, AIAA Guidance, Navigation, and Control Conference and Exhibit, Keystone, Colorado, Aug. 21-24, 2006.

C. Garcia-Galan, S. Uckun. W. Gregory, and K. Williams.  “Advanced Technologies for Future Spacecraft Cockpits and Space-based Control Centers”, in: Proceedings of the International Aerospace Conference, Valencia, Spain, 2006.

2005

Haitham Hindi, Lara S. Crawford, and Markus P.J. Fromherz: "Synchronization of State Based Control Processes with Delayed and Asynchronous Measurements."  In:  Proceedings of the 44th IEEE Conference on Decision and Control, December 2005, pp. 6370–6375.

Haitham Hindi, Craig Eldershaw, Lara Crawford, Marc Barberis, and Niraj Shah:  "Simulation of Fixed Point Arithmetic in Signal Processing Applications:  DSP and FPGA."  In: RTC Magazine, September 2005.

Wheeler Ruml and Elisabeth H. Crawford: "Best-first Utility-Guided Search."  In:  Working Notes of the IJCAI-05 Workshop on Planning and Learning in A Priori Unknown or Dynamic Domains, 2005.

Wheeler Ruml, Minh B. Do, and Markus P.J. Fromherz: "On-line Planning and Scheduling for High-speed Manufacturing."  In:  Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS-05), 2005. (Best Application Paper Award)

Markus P.J. Fromherz, Lara S. Crawford, and Haitham A. Hindi:  "Coordinated Control for Highly Reconfigurable Systems."  In:  Proceedings of Hybrid Systems:  Computation and Control (HSCC), Zurich, Switzerland, 2005.

Ying Zhang, Juan Liu, and Feng Zhao: "Information-directed Routing in Sensor Networks using Real-Time Reinforcement Learning." In:  Combinatorial Optimization in Communication Networks, Kluwer Academic Publishers, 2005.

S. Uckun.  “Integrated Systems Health Management for Space Exploration”, in: Structural Health Monitoring 2005 (Destech Publications, Inc., 2005).

2004

Xin Liu, Qingfeng Huang, and Ying Zhang: "Combs, Needles, Haystacks: Balancing Push and Pull for Discovering in Large-Scale Sensor Networks."  In:  ACM SenSys04, Nov. 2004.

Q. Huang and Y. Zhang: "Radial Coordination for Convergecast in Wireless Sensor Networks."  In:  IEEE EmNetS-I, Nov. 2004.

Ying Zhang, Mark Yim, Lee Ackerson, David Duff, and Craig Eldershaw: "STAM: A System of Tracking and Mapping in Real Environments."  In: IEEE Wireless Magazine, Dec. 2004.

Ying Lu, Lara S. Crawford, Wheeler Ruml, and Markus P.J. Fromherz:  "Feedback Control for Real-time Solving." In: CP'04 Workshop on Constraint Solving under Change and Uncertainty, Toronto, Canada, September 27, 2004, pp. 21-35.

Ying Zhang, Markus P.J. Fromherz, and Lukas D. Kuhn: "Smart Routing with Learning-based QoS-aware Routing Strategies." In: First Int. Workshop on QoS Routing, Oct. 2004.

Wheeler Ruml and Markus P.J. Fromherz:  "On-line Planning and Scheduling in a High-speed Manufacturing Domain."  In: Proceedings of the ICAPS-04 Workshop on Integrating Planning into Scheduling, Whistler, BC, Canada, 2004.

Haitham Hindi, "A Tutorial on Convex Optimization."  In:  Proceedings of the American Control Conference, Invited Tutorial Session Paper, 2004.

Ying Zhang and Markus P.J. Fromherz: "Search-based Adaptive Routing Strategies for Sensor Networks."  In: AAAI Workshop on Sensor Networks.

Ying Zhang, Lukas Kuhn, and Markus P.J. Fromherz: "Not All Ants Are Born Equal: Improvements on Ant-Routing for Sensor Networks."  In: Ant04: International Workshop on Ant Colony Optimization and Swarm Intelligence.

Hai Fang and Wheeler Ruml: "Complete Local Search for Propositional Satisfiability."  In:  Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04).

Yi Shang, Wheeler Ruml, Ying Zhang and Markus P. J. Fromherz: "Localization from Connectivity in Sensor Networks."  In: IEEE Transactions on Parallel and Distributed Systems, volume 15, number 11, pages 961 -- 974, 2004.

Yi Shang, Wheeler Ruml: "Improved MDS-based Localization." IEEE Infocom 2004, March 2004.

Ying Zhang and Markus P.J. Fromherz: "Message-initiated Constraint-based Routing for Wireless Ad-hoc Sensor Networks." In: 2004 IEEE Consumer Communications and Networking Conference, Poster, Jan. 2004.

2003

Markus P.J. Fromherz and Warren B. Jackson: "Force Allocation in a Large-scale, Distributed Active Surface." In: IEEE Trans. on Control Systems Technology, vol. 11, no. 5, Sept. 2003, pp. 641-655.

Yi Shang, Markus P.J. Fromherz, Ying Zhang, and Lara S. Crawford: "Constraint-based Routing for Ad-hoc Networks." In: IEEE Int. Conf. on Information Technology: Research and Education (ITRE 2003), Newark, NJ, USA, Aug. 2003, pp. 306-310.

Yi Shang, Wheeler Ruml, Ying Zhang, and Markus Fromherz: “Localization from Mere Connectivity.” In: Fourth ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Annapolis, MD, June 2003.

Feng Zhao, Chris Bailey-Kellogg, and Markus P.J. Fromherz: "Physics-based Encapsulation in Embedded Software for Distributed Sensing and Control Applications." In: Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software, vol. 91, no. 1, Jan. 2003.

Yi Shang and Markus P.J. Fromherz: "Experimental Complexity Analysis of Continuous Constraint Satisfaction Problems." In: Information Sciences, Elsevier Science, vol. 153, 2003, pp. 1-36.

2002

Ying Zhang, Markus P.J. Fromherz, Lara S. Crawford, and Yi Shang: "A General Constraint-based Control Framework with Examples in Modular Self-reconfigurable Robots." In: 2002 IEEE/RSJ Conference on Intelligent Robots and Systems (IROS 2002), Lausanne, Switzerland, Sep. 2002.

Yi Shang, Markus P.J. Fromherz, Lara S. Crawford, and Ying Zhang: "Complexity Analysis of Local-Search-Based Solvers for Continuous Constraint Problems." In: 2nd Annual McMaster Optimization Conference: Theory and Applications (MOPTA'02), Abstract, Hamilton, Ontario, Canada, Aug. 2002.

Yi Shang, Markus P.J. Fromherz, and Lara S. Crawford: "Solving Nonlinear Continuous Constraint Problems." In: Int. Congress of Mathematicians (ICM'02), Short Communication, Beijing, China, Aug. 2002.

Yi Shang, Markus P.J. Fromherz, and Lara S. Crawford. "Efficient Cooperative Solvers for Nonlinear Continuous Constraint Problems." In: Int. Congress on Mathematical Software (ICMS'02), Beijing, China, Aug. 2002.

Markus P.J. Fromherz, Lara S. Crawford, Christophe Guettier, and Yi Shang. "Distributed Adaptive Constrained Optimization for Smart Matter Systems." In: AAAI Spring Symposium on Intelligent Embedded and Distributed Systems, Stanford, CA, USA, March 2002.

2001

Warren B. Jackson, Markus P.J. Fromherz, David K. Biegelsen, James Reich, and David Goldberg. "Constrained Optimization Based Control of Real Time Large-scale Systems: Airjet Object Movement System." In: 40th IEEE Conf. on Decision and Control (CDC), Orlando, FL, USA, Dec. 2001.

Lara S. Crawford, Markus P.J. Fromherz, Christophe Guettier, and Yi Shang. "A Framework for On-line Adaptive Control of Problem Solving." In: CP'01 Workshop on On-line Combinatorial Problem Solving and Constraint Programming, Paphos, Cyprus, Dec. 2001.

Yi Shang, Yungchun Wan, Markus P.J. Fromherz, and Lara S. Crawford. "Towards Adaptive Cooperation between Global and Local Solvers for Continuous Constraint Problems." In: CP'01 Workshop on Cooperative Solvers in Constraint Programming, Paphos, Cyprus, Dec. 2001.

Markus P.J. Fromherz, Tad Hogg, Warren B. Jackson, and Yi Shang. "Modular Robot Control and Continuous Constraint Satisfaction." In: IJCAI-01 Workshop on Modelling and Solving Problems with Constraints, Seattle, WA, USA, Aug. 2001.

Yi Shang, Markus P.J. Fromherz, Tad Hogg, and Warren B. Jackson. Complexity of Continuous, 3-SAT-like Constraint Satisfaction Problems. In: IJCAI-01 Workshop on Stochastic Search Algorithms, Seattle, WA, USA, Aug. 2001.

2000

Warren B. Jackson, Carlos Mochon, Koenraad Van Schuylenbergh, David K. Biegelsen, Markus P.J. Fromherz, Tad Hogg, and Andrew A. Berlin, "Distributed Allocation Using Analog Market Wire Computation and Communication." In: Mechatronics'2000, Atlanta, GA, USA, Sep. 2000.

Andrew Berlin, David Biegelsen, Patrick Cheung, Markus Fromherz, David Goldberg, Warren Jackson, Bryan Preas, James Reich, and Lars-Erik Swartz, "Motion Control of Planar Objects Using Large-area Arrays of MEMS-like Distributed Manipulators". In: Micromechatronics'2000, 2000.

David Biegelsen, Andrew Berlin, Patrick Cheung, Markus Fromherz, David Goldberg, Warren Jackson, Bryan Preas, James Reich, and Lars Swartz, "Airjet Paper Mover: An Example of Meso-scale MEMS." In: Eric Peeters, Oliver Paul (eds.), SPIE, Micromachined Devices and Components VI, Santa Clara, CA, USA, Invited Paper, vol. 4176, Sep. 2000, pp. 122-129.

Markus P.J. Fromherz and Warren B. Jackson, "Predictable Motion of Hyper-redundant Manipulators Using Constrained Optimization Control". In: Int. Conf. on Artificial Intelligence 2000 (IC-AI'2000), Las Vegas, NV, USA, June 2000, pp. 1141-1148.

1999

Markus P.J. Fromherz, Maia Hoeberechts, and Warren B. Jackson, "Towards Constraint-based Actuation Allocation for Hyper-redundant Manipulators". In: CP'99 Workshop on Constraints in Control (CC'99), Alexandria, VA, USA, October 16, 1999.

Chee We Ng, Warren B Jackson, Koenraad Van Schuylenbergh, David K Biegelsen, Tad Hogg, and Andrew A Berlin, "Distributed Resource Allocation for Smart Matter Using Decentralized Analog Computation and Communication." In: Microelectromechanical Systems (MEMS), ASME, vol. 1, 1999, pp. 157-162.