Em Andamento
Analysis and synthesis of control systems based on zonotopic smart abstractions
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Período
janeiro de 2021 – janeiro de 2024
Coordenação
Processo
DEV-2021-0004
Duração
Quadriênio 2021–2024 no portfólio do PPGEE
Projeto
Descrição
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Objetivos
Objetivos
O título informa análise e síntese de sistemas de controle baseadas em abstrações inteligentes zonotópicas; objetivos detalhados não foram localizados.
Método
Metodologia
Conditions for analysis and synthesis based on zonotopic smart abstractions, with formal proofs and control case studies.
Resultados esperados
Resultados esperados
A framework of zonotopic abstractions with published synthesis conditions and experimental artifacts.
Resultados alcançados
Resultados alcançados
Published analysis and synthesis conditions with control case studies.
Impacto
Impacto e legado
Methodological legacy in abstractions for control, reused across verification projects.
Equipe
Equipe e coordenação (5)
Pesquisa
Linha de pesquisa
Produção
Publicações relacionadas (2)
Parceiros
Instituições relacionadas
Palavras-chave
Palavras-chave
abstrações zonotópicasanálisesíntesesistemas de controle