Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:30:20 UTC

C.30.LCA:11 - SoTA-Echoing

SoTA and practice sourceWhat it contributesFPF adoption stancePractitioner implication
Anderson, Doyle, Low, and Matni, “System Level Synthesis” (Annual Reviews in Control, 2019).Structured controller-synthesis practice treats closed-loop responses, constraints, locality, and distributed implementation as explicit synthesis variables and implementation relations rather than as a box-and-arrow guarantee.Adopt and adapt: use SLS as current control-structure pressure for explicit control-participant meanings, direct relations, locality, rate, and implementation boundaries; do not import SLS proof claims into C.30.LCA.A distributed-control diagram can start a control-structure description; for stability or robust-performance claims, use the relevant dynamics or control-proof pattern.
Ames, Coogan, Egerstedt, Notomista, Sreenath, and Tabuada, “Control Barrier Functions: Theory and Applications” (ECC, 2019).Safety-critical control separates a controller structure from a safety property and the mathematical certificate or enforcement method used for that property.Adopt and adapt: keep safety wording visible as a neighboring safety or proof claim, not as control-view adequacy.When a sentence says the supervisor or controller makes the plant safe, keep the control description and use the relevant safety, dynamics, evidence, or assurance pattern to state and test that claim.
Rawlings, Mayne, and Diehl, Model Predictive Control: Theory, Computation, and Design, 2nd ed. (2017).Planner and regulator distinctions, receding horizon, constraint, update period, and model-boundary distinctions are current MPC structure cues.Adopt as control vocabulary: recover direct control relations and participant meanings, rates, model boundaries, and constraints; add Systems, classifications, assignments, Methods, and Work only when independently current. Handle temporal or rate claims under C.27.TA, authored temporal adequacy under C.27, and dynamics under A.3.3.A multi-rate or MPC-style note names relation participants, rate bands, and model boundaries before claiming adequacy.
Leveson and Thomas, STPA Handbook (2018), as systems-theoretic safety-control practice.Safety analysis treats unsafe control actions, feedback, process models, constraints, and losses as control-structure-relevant distinctions.Adopt and adapt: allow safety-loss control-structure notes, while keeping safety-case verdicts and evidence sufficiency outside C.30.LCA.A loss-control diagram can organize the description; it does not close the safety case.
FPF C.2.1, A.22, C.30, C.30.AD, E.17.0, and C.30.ASV.These patterns separate selected control structure, architecture relation, architecture claim, description episteme, viewpoint episteme, conformance occurrence, described holon, and controlled holon.Bind ControlStructureView to one selected U.Structure and viewpoint conformance; recover every control relation through the pattern that defines it.A control view can coordinate several relations without becoming the architecture, relation occurrence, or proof.