¶Document tag

#prerequisites

2 documents indexed here. Formal results, specifications, proofs, registries, and other ways the material is written.

¶ Browse document typesDocument

ℓNotes

2

Notes
Appendix B — Prerequisites
Mathematical prerequisites assumed by the main text.
Notes
Appendix D — Hybrid Dynamical Systems Background
Mathematical background on hybrid dynamical systems and their application to RelationWorld's state space.