"Invariant-Based Epistemic Control of Physical Systems : A Non-Actuating, Deterministic Framework for Safety-Critical Decision Making" (IEEE)

Read full text
Authors: Yoon A Limsuwan
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Safety Systems Engineering in Autonomy Advanced Control Systems Optimization

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
18 January 2026