Optimal control of multi-task Boolean control networks via temporal logic
Yuhua Yao, Jitao Sun
Topics & Concepts
Temporal logicLinear temporal logicTask (project management)Computer scienceState (computer science)Control (management)Interval temporal logicController (irrigation)Theoretical computer scienceControl logicAlgorithmArtificial intelligenceEngineeringSystems engineeringBiologyAgronomyGene Regulatory Network AnalysisFormal Methods in VerificationEmbedded Systems Design Techniques