Control of cyber-physical-systems with logic specifications: A formal methods approach

G Pola, MD Di Benedetto - Annual Reviews in Control, 2019 - Elsevier
There is a growing interest in Industry and Academia in large scale composite systems
where a number of physical processes are interfaced with intelligent units that control them …
被引用次数：52 相关文章

[引用][C] Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

G Pola, MD Di Benedetto - Annual Reviews in Control, 2019 - cir.nii.ac.jp
Control of Cyber-Physical-Systems with logic specifications: A formal methods approach |
CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォーム …