Search Results for author:
Found 3 papers, 0 papers with code
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications.
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
It can be thought of as a building block for any design exploration and optimization algorithm.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
