Sort by
Refine Your Search
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
-
to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory
-
theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control systems. These contracts have two desired features: they should i) be
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions