Author:
Casagrande A.,Corvaja P.,Piazza C.,Mishra B.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Casagrande, A., et al.: Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata. Technical report, University of Udine (2006), Available at http://fsv.dimi.uniud.it/downloads/synchro.pdf
2. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems 13, 1–21 (2000)
3. Van den Dries, L.: Tame Topology and O-minimal Structures. Cambridge University Press, Cambridge (1998)
4. Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Univ. California Press, Berkeley (1951)
5. Henzinger, T.A.: The Theory of Hybrid Automata. In: Proc. of IEEE Symp. on Logic in Computer Science (LICS’96), pp. 278–292. IEEE Computer Society Press, Los Alamitos (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal language properties of hybrid systems with strong resets;RAIRO - Theoretical Informatics and Applications;2010-01
2. Decidable Compositions of O-Minimal Automata;Automated Technology for Verification and Analysis;2008