Author:
Abate Alessandro,D’Innocenzo Alessandro,Pola Giordano,Di Benedetto Maria Domenica,Sastry Shankar
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Abate, A., et al.: The Concept of Deadlock and Livelock in Hybrid Control Systems. Technical Report, UCB/EECS-2006-181 (Dec. 2006), http://www.eecs.berkeley.edu/Pubs
2. Lygeros, J., et al.: Dynamical Properties of Hybrid Automata. IEEE Transactions on Automatic Control 48(1) (2003)
3. Lecture Notes in Computer Science;R. Alur,1997
4. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O Automata. Information and Computation 185(1), 105–157 (2003)
5. Abadi, M., Lamport, L.: Composing Specifications. In: REX Workshop on Stepwise Refinement of Distributed Systems, Mook, NL (May 1989)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献