Model-based Computing

See also: ERA, home site (old), more publications (old).

2003

Markus P.J. Fromherz, Daniel G. Bobrow, and Johan de Kleer. Model-based Computing for Design and Control of Reconfigurable Systems. AI Magazine, Special Issue on Qualitative Reasoning, vol. 24, no. 4, Winter 2003, pp. 120-130.

1999

Markus P.J. Fromherz, Vijay A. Saraswat, and Daniel G. Bobrow. Model-based Computing: Developing Flexible Machine Control Software. In: Artificial Intelligence, vol. 114, no. 1-2, Oct. 1999, pp. 157-202.

Markus P.J. Fromherz. Model-based Configuration of Machine Control Software. In: AAAI'99 Workshop on Configuration, Orlando, FL, July 1999.

1997

Markus P.J. Fromherz, Vineet Gupta, and Vijay A. Saraswat. CC - A Generic Framework for Domain Specific Languages. In: POPL'97 Workshop on Domain Specific Languages, Paris, Jan. 1997.

1995

Markus P.J. Fromherz and Vijay A. Saraswat. Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. In: U. Montanari, F. Rossi (eds.), Principles and Practice of Constraint Programming - CP'95, Springer-Verlag, LNCS 976, Sept. 1995, pp. 629-635.

Markus P.J. Fromherz and Vijay A. Saraswat. Model-Based Computing: Constructing Constraint-Based Software for Electro-Mechanical Systems. In: Practical Applications of Constraint Technology, Paris, France, Apr. 7, 1995, pp. 63-66.

Hao-Chi Wong, Markus P.J. Fromherz, Vineet Gupta, and Vijay A. Saraswat. Control-based programming of electro-mechanical controllers. In: Proceedings of the IJCAI Workshop on Executable Temporal Logics, Montreal, Aug. 1995.

Model-based Planning and Scheduling

See also: model-based computing above.

2007

Lawrence Lee, Wheeler Ruml, and Markus P.J. Fromherz. Model-based Planning and Control for Reconfigurable Manufacturing and Packaging. In: World Batch Forum North American Conference, Baltimore, MD, April/May 2007.

2005

Wheeler Ruml, Minh B. Do, and Markus P.J. Fromherz. On-line Planning and Scheduling for High-speed Manufacturing. In: Int. Conf. on Automated Planning and Scheduling (ICAPS) 2005, Monterey, CA, June 2005.

2004

Wheeler Ruml and Markus P.J. Fromherz. On-line Planning and Scheduling in a High-speed Manufacturing Domain. In: ICAPS 2004 Workshop on Integrating Planning Into Scheduling, Whistler, BC, Canada, June 2004.

2001

Markus P.J. Fromherz. Constraint-based Scheduling. American Control Conference (ACC'01), Invited Tutorial, Arlington, VA, June 2001.

1997

Markus P.J. Fromherz and John Conley. Issues in Reactive Constraint Solving. In: Workshop on Concurrent Constraint Programming for Time Critical Applications - COTIC 97, CP'97, Linz, Austria, Nov. 1997.

Lise Getoor, Greger Ottosson, Markus P.J. Fromherz, and Björn Carlson. Effective Redundant Constraints for Online Scheduling. In: AAAI'97, Providence, Rhode Island, July 1997, pp. 302-307.

1994

Markus P.J. Fromherz and Björn Carlson. Optimal Incremental and Anytime Scheduling. In: Pierre Lim, Jean Jourdan (eds.), Workshop on Constraint Languages/Systems and their Use in Problem Modelling, ILPS'94, Nov. 1994, Syracuse, N.Y., USA; European Computer-Industry Research Centre, TR ECRC-94-38, pp. 45-59.

Large-scale Distributed Control

See also: ERA.

2005

Haitham A. Hindi, Lara S. Crawford, and Markus P.J. Fromherz. Synchronization of State Based Control Processes with Delayed and Asynchronous Measurements. In: 44th IEEE Conference on Decision and Control, Seville, Spain, Dec. 2005.

Markus P.J. Fromherz, Lara S. Crawford, and Haitham A. Hindi. Coordinated Control for Highly Reconfigurable Systems. In: Hybrid Systems: Computation and Control (HSCC) 2005, Zurich, Switzerland, Invited Paper, Springer-Verlag, LNCS, March 2005, pp. 1-24.

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.

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.

2001

Warren B. Jackson, Markus P. J. Fromherz, David K. Biegelsen, James Reich, and David Goldberg. Control of Real Time Large-scale Systems: Airjet Object Movement System. In: 40th IEEE Conf. on Decision and Control (CDC), Orlando, Florida, 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, Aug. 2001.

2000

David K. Biegelsen, Andrew Berlin, Patrick Cheung, Markus P.J. Fromherz, David Goldberg, Warren B. Jackson, Bryan Preas, James Reich, and Lars-Erik Swartz. Air-jet Paper Mover: An Example of Meso-scale MEMS. In: SPIE Int. Symposium on Micromachining and Microfabrication, 4176-11, San Jose, CA, Sept. 2000.

Andrew Berlin, David Biegelsen, Patrick Cheung, Markus P.J. Fromherz, David Goldberg, Warren B. 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.

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, Sept. 2000.

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, June 2000, pp. 1141-1148.

1999

Andrew Berlin, David K. Biegelsen, Patrick Cheung, Markus P.J. Fromherz, David Goldberg, Warren B. Jackson, Elias Panides, Bryan Preas, James Reich, and Lars-Erik Swartz. Paper Transport Using Modulated Airjet Arrays. In: IS&T's NIP 15 at 1999 Int. Conf. on Digital Printing Technologies, Orlando, FL, Oct. 1999, pp. 285-288.

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, Oct. 16, 1999.

Warren B. Jackson, Markus P.J. Fromherz, Andrew A. Berlin, David K. Biegelsen, and Patrick Cheung. Hybrid Problems in Smart Matter Control (extended abstract). In: Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems, AAAI Spring Symposium, AAAI Technical Report SS-99-05, March 22-24, 1999, pp. 101-102.

Ad-hoc Network Algorithms

2006

Ying Zhang and Markus P.J. Fromherz. A Robust and Efficient Flooding-based Routing for Wireless Sensor Networks. In: Journal of Interconnection Networks, vol. 7, no. 4, Dec. 2006, pp. 549-568.

Ying Zhang and Markus P.J. Fromherz. Constrained Flooding: A Robust and Efficient Routing Framework for Wireless Sensor Networks. In: 20th IEEE International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria, April 2006.

2004

Yi Shang, Wheeler Ruml, and Markus P.J. Fromherz. Positioning Using Local Maps. In: Ad Hoc Networks, vol. 4, no. 2, March 2006, pp. 240-253.

2004

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.

Ying Zhang, Lukas D. Kuhn, and Markus P.J. Fromherz. Improvements on Ant Routing for Sensor Networks. In: Ants 2004, Int. Workshop on Ant Colony Optimization and Swarm Intelligence, Sept. 2004.

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

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, vol 15, no. 11, 2004, pp. 961-974.

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

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 P.J. Fromherz. Localization from Mere Connectivity. In: Fourth ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), Annapolis, MD, June 2003.

Adaptive Search Algorithms

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.

2003

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

2002

Yi Shang, Markus P.J. Fromherz, and Ying Zhang. Developing Efficient Cooperative Solvers for Constrained Optimization. In: CP'02 Workshop on Cooperative Solvers in Constraint Programming, Ithaca, NY, USA, Sept. 8, 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: Int. Conf. on Intelligent Robots and Systems 2002 (IROS 2002), Lausanne, Switzerland, Sept. 2002.

Yi Shang, Markus P.J. Fromherz, and Lara S. Crawford. Efficient Cooperative Solvers for Nonlinear Continuous Constraint Problems. In: Int. Congress of 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 Distributed and Embedded Systems, Stanford, CA, March 2002.

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, 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, Dec. 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, Aug. 2001.

Model-based Diagnosis, Declarative Program Debugging

1994

David Bell, Daniel Bobrow, Brian Falkenhainer, Markus Fromherz, Vijay Saraswat, and Mark Shirley. RAPPER: The Copier Modeling Project. Int. Workshop on Qualitative Reasoning about Physical Systems, Nara, Japan, June 1994, pp. 1-12.

1993

Markus P.J. Fromherz. Debugging Constraint Programs: The Abstraction Mismatch. In: Mireille Ducasse et al. (eds.), Proc. 5th Workshop on Logic Programming Environments at ILPS'93, Vancouver, Canada, Oct. 1993; IRISA, Campus de Beaulieu, F-35042 Rennes Cedex, France, TR, Oct. 1993, pp. 14-20.

Markus P.J. Fromherz and Mark H. Shirley. Supporting Service Technicians: Model-Based Diagnosis in Context. Workshop on AI in Service and Support at AAAI'93, Washington, D.C., 1993.

Markus P.J. Fromherz. Towards Declarative Debugging of Concurrent Constraint Programs. In: Peter A. Fritzson (ed.), Automated and Algorithmic Debugging, Springer-Verlag, LNCS 749, 1993, pp. 88-100.

Design Optimization

1998

Flavio M. Varejao, Markus P.J. Fromherz, Ana C. Bicharra Garcia, and Clarisse S. de Souza. An Integrated Framework for the Specification and Design of Reprographic Machines. In: Thirteenth Int. Conf. on Applications of Artificial Intelligence in Engineering (AIENG'98), Galway, Ireland, Computational Mechanics Publications, July 1998.

1997

Ravi Kapadia and Markus P.J. Fromherz. Design Optimization with Uncertain Application Knowledge. In: Don Potter et al. (eds.), Industrial and Engineering Applications of Artificial Intelligence and Expert Systems 1997 - IEA-AIE'97, Gordon and Breach Science Publishers, Atlanta, GA, June 1997, pp. 421-431.

Ravi Kapadia, Gautam Biswas, and Markus P.J. Fromherz. Hybrid Modeling for Smart System Design. In: FLAIRS'97 Special Track on Models and Applications for Design, Daytona Beach, FL, May 1997.

1996

Markus P.J. Fromherz and Ravi Kapadia. Towards Model-based Design Optimization of Electro-mechanical Systems. PARC TR, May 1996 (also appeared as AID'96 workshop paper and as IEA-AIE'97 paper).

Sketch Interpretation

2002

James V. Mahoney and Markus P.J. Fromherz. Three Main Concerns in Sketch Recognition and an Approach to Addressing Them. AAAI Spring Symposium on Sketch Understanding, Stanford, CA, March 2002.

James V. Mahoney and Markus P.J. Fromherz. Handling Ambiguity in Constraint-based Recognition of Stick Figure Sketches. SPIE Document Recognition and Retrieval IX Conf., San Jose, CA, Jan. 2002.

2001

Markus P.J. Fromherz and James V. Mahoney. Interpreting Sloppy Stick Figures with Constraint-based Subgraph Matching. Seventh Int. Conf. on Principles and Practice of Constraint Programming, Paphos, Cyprus, Nov. 2001.

James V. Mahoney and Markus P.J. Fromherz. Interpreting Sloppy Stick Figures by Graph Rectification and Constraint-based Matching. Fourth IAPR Int. Workshop on Graphics Recognition, Kingston, Ontario, Canada, Sept. 2001.

James V. Mahoney and Markus P.J. Fromherz. Perceptual Organization as Graph Rectification in a Constraint-based Scheme for Interpreting Sloppy Stick Figures (Extended Abstract). POCV'01, Canada, July 2001.

Collaboration

1996

Markus P.J. Fromherz. Collaborative, Mediated Technology Design and Development. Unpublished (targeted to the Participatory Design Conference), May 1996.

Back to the top.