IEEE

Opacity of Extended Finite Automata With Event Parameters

Abstract: Finite automata (FAs) are popular tools to characterize discrete event systems (DESs) due to their succinctness. However, capturing data flow between systems and their environments using FAs ...
GitHub

hijimasa/python-fem-tool

このリポジトリでは、Pythonで簡易的にFEMを試してみることができます。 基本は参考サイトのアルタカさんのプログラムをベースに、機械設計者が部品を設計する際の強度計算支援ツールとして大幅に拡張しました。 構造用鋼材（SS400、S45C、SUS304 ...
IEEE

Finite State Automata for Real-Time Health Electronic Record Update: A survey

Abstract: The sudden exodus of healthcare worker has left many healthcare organizations with limited capabilities to provide efficient and continuous care for long-term patients. When the COVID-19 ...