Safety Verification of Non-linear, Planar Proportional Control with Differential Inclusions.

Hallstein Asheim Hansen

Published in: TrustCom (2011)

Keyphrases

control system
control method
control theory
neural network
adaptive control
formal verification
parallel manipulator
genetic algorithm
information systems
model checking
planar surfaces
asynchronous circuits
safety analysis