Formal Methods for Discrete-Time Dynamical Systems
-15%
portes grátis
Formal Methods for Discrete-Time Dynamical Systems
Aydin Gol, Ebru; Belta, Calin; Yordanov, Boyan
Springer International Publishing AG
03/2017
284
Dura
Inglês
9783319507620
15 a 20 dias
5797
Descrição não disponível.
Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Methods;Verification;Synthesis;Control;Hybrid Systems;complexity
Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
