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