特集 サイバーフィジカルシステム

編集前記	「サイバーフィジカルシステム」特集号を企画して	潮 俊光(大阪大),小林 孝一 (北陸先端大)
展望	サイバーフィジカルシステムの研究動向と展望	林 直樹,高井 重昌(大阪大)
解説	CPSの形式検証―超準解析によるアプローチ	蓮尾 一郎(東京大),末永 幸平(京都大)
解説	非線形ハイブリッドシステムの可到達集合の精度保証	石井 大輔(東工大),上田 和紀(早稲田大)
解説	ブロードキャスト信号によるマルチエージェントシステムの制御	東 俊一(京都大)
解説	センサネットワークにおける観測計画	荒井 翔悟(東北大),岩谷 靖(弘前大)
解説	不確かな環境における移動ロボットのナビゲーションとスケジューリング	田崎 勇一,鈴木 達也(名古屋大)
解説	制御システムのマルチ・メニーコアプロセッサ実装	枝廣 正人(名古屋大)
解説	無線制御システムにおける制御レイヤの情報を利用した通信路誤り訂正技術	小林 健太郎(名古屋大)
解説	CPSを指向するクラウド型ホームネットワークとHEMS	丹 康雄(北陸先端大)
解説	CPS化,クラウド化,ビッグデータ化する組込みシステム～その開発プラットフォームと運用プラットフォーム～	吉松 則文,穴見 健治(ISIT),於保 茂(日本工大),後藤 孝行(九州大),村上 和彰(ISIT/九州大)
技術報告	<2014年度SICE技術賞受賞紹介記事>燃焼安全技術の開発と燃焼安全ソリューションへの応用	山田 哲也(アズビル)ほか
技術報告	<2014年度SICE技術賞受賞紹介記事>Just-In-Time型ソフトセンサーとモデル予測制御を統合した品質推定制御システムの開発と実用化	關 雄至(昭和電工)ほか
学界だより	先端融合システムズアプローチ創出委員会の紹介	黒江 康明(京工繊)ほか
特別企画	<2013年度学術奨励賞受賞論文紹介記事>QRコードを用いたシリンジポンプの流量認証システム	小林 健太(八戸高専)
特別企画	<2013年度学術奨励賞受賞論文紹介記事>設計容易性を指向した非同期FPGAのアーキテクチャ	小松 与志也(東北大)
製品紹介	マルチバリアブル伝送器DPharp EJXと安全計装システムProSafe-RSの連携による高信頼のガス流量演算	横河電機株式会社
製品紹介	ハンディ熱画像温度チェッカ「Easy Thermo (イージーサーモ)」	株式会社チノー
書評	「ハイブリッドシステムの制御」(井村順一,東 俊一,増淵 泉 共著)	小林 孝一(北陸先端大)
書評	「フィードバック制御理論 – 安定化と最適化 -」(Ph.D. 志水清孝 著)	西村 悠樹(鹿児島大)
編集後記		小林 孝一(北陸先端大)