Logical analysis of hybrid systems : proving theorems for complex dynamics

出版社:Berlin ; Heidelberg : Springer, 2010.
ISBN:9783642145087
出版年:2010
作者:Platzer,André.
资源类型:图书
细分类型:西文文献
相关推荐

Hybrid estimation of complex systems

  • 作者:Hofbaur,Michael W.
  • ISBN:3540257276
  • 出版社:Berlin ; New York : Springer, c2005.
  • 出版年:2005

Modelling and analysis of hybrid systems

  • 作者:Duan,zhenhua.
  • ISBN:7030139674
  • 出版社:Beijing : Science Press, c2004.
  • 出版年:2004

Dynamics and control of hybrid mechanical systems

  • 作者:Leonov,Gennady.
  • ISBN:9789814282314
  • 出版社:Singapore ; Hackensack, NJ : World Scientific, 2010.
  • 出版年:2010

Fault diagnosis of hybrid dynamic and complex systems

  • 作者:Sayed-Mouchaweh,Moamar,
  • ISBN:9783319740133
  • 出版社:Cham : Springer, 2018.
  • 出版年:2018

Hybrid intelligent systems : analysis and design

  • 作者:Castillo,Oscar,
  • ISBN:9783540374190
  • 出版社:Berlin : Springer, c2007.
  • 出版年:2007

Coherent dynamics of complex quantum systems

  • 作者:Akulin,Vladimir M.
  • ISBN:3540210520
  • 出版社:Berlin : Springer-Verlag , 2005.
  • 出版年:2005