Open AccessModeling and Analyzing Cyber-Physical Systems Using Hybrid Predicate Transition Nets
Author(s) -
Dewan Mohammad Moksedul Alam
Publication year - 2021
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.25148/etd.fidc009168
Subject(s) - dependability , reachability , cyber physical system , computer science , model checking , formal methods , formal verification , physical system , train , automaton , complex system , distributed computing , systems engineering , software engineering , theoretical computer science , engineering , artificial intelligence , operating system , physics , cartography , quantum mechanics , geography