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

Sensor Network Publication

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.

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.

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.