Author of the publication

Formal Specifications for Hybrid Dynamical Systems.

, and . IJCAI (1), page 568-577. Morgan Kaufmann, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Extending Component Connection Modeling for Analyzing Complex Physical Systems., , and . IEEE Expert, 8 (1): 48-57 (1993)A Linuistic Transitive Closure Method for Completion and Consistency of Uncertain Knowledge., and . ISMIS, page 1-10. North-Holland/Elsevier, (1988)MIDST: An Expert System Shell for Mixed Initiative Reasoning., and . ISMIS, page 1-8. North-Holland/Elsevier, (1987)Reports of the AAAI 2010 fall symposia, , , , , , , , , and 1 other author(s). AI Magazine, 32 (1): 93--93 (2011)Substitutive competition: Virtual pets as competitive buffers to alleviate possible negative influence on pupils., , , and . Br. J. Educ. Technol., 43 (2): 247-258 (2012)A Systematic Approach for Analyzing Students' Computational Modeling Processes in C2STEM., , , , and . AIED (2), volume 11626 of Lecture Notes in Computer Science, page 116-121. Springer, (2019)Fault-Tolerant Control of Degrading Systems with On-Policy Reinforcement Learning., , and . CoRR, (2020)An Approach to Model-Based Diagnosis of Hybrid Systems., and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 308-322. Springer, (2002)Analysing adaptive scaffolds that help students develop self-regulated learning behaviours., , , , , and . J. Comput. Assist. Learn., 39 (2): 351-368 (April 2023)Knowledge distilling based model compression and feature learning in fault diagnosis., , , , and . Appl. Soft Comput., (2020)