Author of the publication

Symbolic Synthesis of Observability Requirements for Diagnosability.

, , , and . AAAI, page 712-718. AAAI Press, (2012)

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

Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis., , and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 219-223. IOS Press, (2008)Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations., , and . IEEE Trans. Syst. Man Cybern. Part A, 36 (6): 1146-1160 (2006)Efficient Representation of Constraints and Propagation of Variable-Value Symmetries in Distributed Constraint Reasoning., and . Inf. Media Technol., 6 (3): 670-679 (2011)On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems., , and . CDC, page 6970-6975. IEEE, (2009)A Python Toolbox for Processing Air Traffic Data: A Use Case with Trajectory Clustering., and . OpenSky, volume 67 of EPiC Series in Computing, page 73-84. EasyChair, (2019)The aircraft runway scheduling problem: A survey., , , , and . Comput. Oper. Res., (2021)Symmetries in distributed constraint programming.. Kyoto University, Japan, (2011)Symbolic Synthesis of Observability Requirements for Diagnosability., , , and . AAAI, page 712-718. AAAI Press, (2012)A Benchmark on Uncertainty Quantification for Deep Learning Prognostics., , , and . CoRR, (2023)Industrial applications., , and . DATE, page 1244-1245. EDA Consortium, San Jose, CA, USA, (2007)