FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits.

Adnan Rashid Ayesha Gauhar Osman Hasan

Published in: CoRR (2020)

Keyphrases

control system
formal analysis
real time
analog circuits
probabilistic model
neural network
machine learning
genetic algorithm
decision making
expert systems
relational databases
complex systems