Author:
Yang Hao,Jiang Bin,Cocquempot Vincent
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference27 articles.
1. On the formal verification of hybrid systems;Guéguen;Control Engineering Practice,2004
2. What’s decidable about hybrid automata?;Henzinger;Journal of Computer and System Science,1998
3. Perspectives and results on the stability and stabilizability of hybrid systems;Decarlo;Proceedings of the IEEE,2000
4. Diagnosis and Fault-Tolerant Control, 2nd edition;Blanke,2006
5. Fault accommodation for a class of nonlinear dynamic systems;Jiang;IEEE Transactions on Automatic Control,2006
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献