ライブラリ登録: Guest
Begell Digital Portal Begellデジタルライブラリー 電子書籍 ジャーナル 参考文献と会報 リサーチ集
Journal of Automation and Information Sciences
SJR: 0.232 SNIP: 0.464 CiteScore™: 0.27

ISSN 印刷: 1064-2315
ISSN オンライン: 2163-9337

巻:
巻 51, 2019 巻 50, 2018 巻 49, 2017 巻 48, 2016 巻 47, 2015 巻 46, 2014 巻 45, 2013 巻 44, 2012 巻 43, 2011 巻 42, 2010 巻 41, 2009 巻 40, 2008 巻 39, 2007 巻 38, 2006 巻 37, 2005 巻 36, 2004 巻 35, 2003 巻 34, 2002 巻 33, 2001 巻 32, 2000 巻 31, 1999 巻 30, 1998 巻 29, 1997 巻 28, 1996

Journal of Automation and Information Sciences

DOI: 10.1615/JAutomatInfScien.v49.i9.10
pages 1-19

Algebraic Interaction Theory and Cyber-Physical Systems

Alexander A. Letichevsky
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Kiev

要約

A new model of cyber-physical systems is considered. The model generalizes known models like hybrid and time automata. The application of modeling and verification methods accumulated in the field of programming to the development of cyber-physical systems is discussed.