Author:
Gueuziec Baptiste,Gallois Jean-Pierre,Boulanger Frédéric
Publisher
Springer Science and Business Media LLC
Reference43 articles.
1. Lee EA, Seshia SA (2017) Introduction to embedded systems, a cyber-physical systems approach, 2nd edn. MIT Press, Cambridge
2. Henzinger TA (2000) The theory of hybrid automata. Verification of Digital and Hybrid Systems. Springer, Heidelberg, pp 265–292
3. Forbus KD (2014) Qualitative reasoning
4. Sugeno M, Yasukawa T (1993) A fuzzy-logic-based approach to qualitative modeling. IEEE Trans Fuzzy Syst 1(1):7
5. Brown AL (1974) Qualitative knowledge, causal reasoning, and the localization of failures. MIT Artificial Intelligence Laboratory, Cambridge