Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.

Eyad Alkassar Peter Böhm Steffen Knapp

Published in: DIPES (2008)

Keyphrases

control system
high speed
efficient implementation
real time
database systems
control parameters
genetic algorithm
information systems
multi agent systems
optimal control
pid controller
control law
levels of abstraction
controller design
adaptive fuzzy
automotive industry