|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
