Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
Lars Lindemann, Dimos V. Dimarogonas
Topics & Concepts
Temporal logicComputation tree logicLinear temporal logicComputer scienceInterval temporal logicRobustness (evolution)Temporal logic of actionsLeverage (statistics)FunnelControl theory (sociology)Theoretical computer scienceControl (management)Artificial intelligenceEngineeringChemistryMechanical engineeringBiochemistryGeneFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge