scientific article; zbMATH DE number 7454900

zbMath1477.68319arXiv2101.10485MaRDI QIDQ5019670

Gioele Zardini, Emilio Frazzoli, Andrea Censi, David I. Spivak

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2101.10485

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Artificial intelligence for robotics (68T40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cites Work

• Unnamed Item
• Unnamed Item
• Compositional abstractions of hybrid control systems
• Differential dynamic logic for hybrid systems
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Temporal type theory. A topos-theoretic approach to systems and behavior
• A unified framework for hybrid control: model and optimal control theory
• Logical Foundations of Cyber-Physical Systems
• Distributed Event-Triggered Control for Multi-Agent Systems

This page was built for publication: