Author:
Gehin Anne-Lise,Hu Hexuan,Bayart Mireille
Subject
Electrical and Electronic Engineering,Artificial Intelligence,Control and Systems Engineering
Reference36 articles.
1. Control of Complex Systems;Åström,2001
2. Principles of Model Checking;Baier,2008
3. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., 2001. Ph. Schnoebelen, Systems and Software Verification. Model-Checking Techniques and Tools. Springer.
4. Blanke, M., Staroswiecki, M., Wu, E., 2001. Concepts and methods in fault-tolerant control. In: Proceedings of American Control Conference, Washington DC, USA, pp. 2606–2620.
5. Diagnosis and Fault-Tolerant Control;Blanke,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献