Linear temporal logic for hybrid dynamical systems: Characterizations and sufficient conditions
Hyejin Han, Ricardo G. Sanfelice
Topics & Concepts
Linear temporal logicTemporal logicDynamical systems theoryParameterized complexityDifferential inclusionHybrid systemMathematicsAutomatonOperator (biology)Temporal logic of actionsDynamical system (definition)Computer scienceInterval temporal logicTheoretical computer scienceAlgorithmMathematical optimizationBiochemistryTranscription factorRepressorQuantum mechanicsPhysicsChemistryGeneMachine learningFormal Methods in VerificationLogic, Reasoning, and KnowledgeDistributed systems and fault tolerance