Login / Signup
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