news
home information | documentation | FAQ | screenshots | download

Koala

Koala is used to model and supervise complex systems that have the following characteristics:
  • the dynamics have discrete switches,
  • the system's equations parameters wear uncertainties and/or sensors are noisy,
  • the system may be subject to faults that must be detected and diagnosed when running.
See the FAQ.

Status

* Modeling
  • automates : ok
  • mapping functions : ok
  • delays : no
  • caen-like influences, uncertain parameters, etc... : ok
  • qualitative logical constraints : ok
  • automatons synchronization : ok
  • synchronization on delays : no
  • causal graphs concurrency : no
  • prime implicants compilation : ok
  • transitions premises compilation: broken on topological number
  • reusable multiple models : broken
  • parser error handling : no
  • bdds : broken
  • components ranking: broken
  • automated causal-graph construction: no
* Engine:
  • Truth Maintenance : ok
  • Diagnosis : ok
  • Reconfiguration : no
  • optimization : broken on second-order
  • multiple discrete trajectories tracking : ok
  • multiple continuous states tracking : ok
  • guaranteed envelopes on uncertain switches: ok / may return bad results.
  • scheduler : ok (to be rewritten: Scheduler.cpp)
  • real-time measures acquisition: no
  • monitors: no
  • probabilities in truth maintenance: partial
  • belief update on tracking: partial
  • belief update on diagnosis: broken
  • qualitative ranks: ok
  • simulation: ok
  • detection: ok
  • splits: ok
  • multiple switches on the same point: broken
  • trajectories merging: ok
  • blind state-tracking: partial (equivalent 'nofault' option on detection)
  • automatic blind state-tracking on unknown modes: no
  • structural faults: no
* Options and commands
  • general option file: ok
  • code optimization: ok
  • discrete model only: ok
  • continuous model only: no (do not parse old caen files).
  • temporal window size: ok
  • envelopes optimization: ok
  • automatic causal graph drawing: ok
  • automatic automaton drawing: broken
  • automatic model drawing: broken
  • error/messages log: no
  • exogenous commands diagnosis: ok
  • prime implicants: ok
  • results display: no (use gnuplot instead).


Emmanuel Benazera
Last modified: Sat Apr 26 11:04:59 CEST 2003