Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore Linear Temporal Logic (LTL) and behavioral specifications in this lecture from the Double Operadic Theory of Systems (DOTS) series presented by David Jaz Myers at the Topos Institute. Delve into the mathematical foundations of temporal logic as applied to system behaviors, examining how LTL provides a framework for specifying and reasoning about properties that evolve over time. Learn about the connections between temporal landscapes and graphical logic of behavior, with reference to the foundational work "Temporal Landscapes: A Graphical Logic of Behavior" by Brendan Fong, Alberto Speranzon and David I. Spivak. Discover how these concepts integrate within the broader categorical systems theory framework, building upon material from David's comprehensive book on dynamical systems theory. Gain insights into the formal methods used to describe and analyze complex system behaviors through temporal specifications, essential for understanding modern approaches to system verification and design.
