Remarks on the theory of implicit linear continuous-time systems
Previous Page 4
K. Maciej Przyłuski, Andrzej M. Sosnowski (1994)
Kybernetika
Sinha, S.C., Butcher, Eric A. (1996)
Mathematical Problems in Engineering
Milan Růžička (1981)
Kybernetika
Stanisław Łojasiewicz, Jr. (1979)
Annales Polonici Mathematici
Jean-Michel Coron (1995)
Annales de la Faculté des sciences de Toulouse : Mathématiques
Zdeněk Vostrý (1979)
Kybernetika
Miroslav Katětov, Pavel Jedlička (1979)
Pokroky matematiky, fyziky a astronomie
Jaroslav Šindelář (1974)
Kybernetika
Přemysl Dastych (1971)
Kybernetika
Davison, D.E., Kabamba, P.T., Meerkov, S.M. (1998)
Mathematical Problems in Engineering
R. Gessing (1971)
Applicationes Mathematicae
J. M. Davoren (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
J. M. Davoren (2010)
RAIRO - Theoretical Informatics and Applications
The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some...
Václav Soukup (1973)
Kybernetika
Д.Б. Силин (1986)
Matematiceskij sbornik
Ю.М. Семенов (1978)
Matematiceskij sbornik
С.А. Беликов, С.Н. Самборский (1983)
Sibirskij matematiceskij zurnal
Д.З. Аров (1979)
Sibirskij matematiceskij zurnal
В.А. Якубович (1985)
Sibirskij matematiceskij zurnal
Michail M. Konstantinov, Simeon P. Patarinski, Petko Hr. Petkov, Nikolaĭ D. Hristov (1977)
Kybernetika
Previous Page 4