news
home information | documentation | FAQ | screenshots | download

Software documentation:
  • texinfo user documentation. koala.ps
  • doxygen C++ code documentation.
Papers:
  • Diagnosis and Reconfiguration of Hybrid Concurrent Models, PhD. thesis of the University Paul-Sabatier, Toulouse, France, E. Benazera, 2003 (French). ( ebenazer_these.ps.gz)
  • State-Tracking of Uncertain Hybrid Concurrent Systems, DX'02, E. Benazera and L. Travé-Massuyès and P. Dague, 2003. ( dx02final09.pdf)
  • The Consistency Approach to the on-line Prediction of Hybrid System Configurations, ADHS'03, E. Benazera and L. Travé-Massuyès, 2003. (adhs_configs.ps.gz)
  • Robust interval model-based fault detection, Techreport 01469, LAAS-CNRS, L. Travé-Massuyès and T. Escobet and S. Tornil and E. Benazera, 2001.
  • Other caen papers.
Related/useful pages and papers:
  • Fast context switching in Real-time reasoning, AAAI-87, B.C. Williams and P. Nayak, 1997. see Brian's page here
  • A model-based approach to reactive self-configuring systems", AAAI-96, B.C. Williams and P. Nayak, 1996. see Brian's page here
  • Back to the Future for Consistency-based Trajectory Tracking, AAAI-00, P. Nayak and J. Kurien, 2000.
  • Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, Artificial Intelligence, E. Hyvonen, vol. 58, pages 71-112, 1992.


Emmanuel Benazera
Last modified: Wed Sep 24 15:01:32 CEST 2003