1 information-security "https:" "https:" positions at Université d'Orléans in France

DC3 - Estimation ensembliste distribuée sécurisée dans les systèmes commutés en réseau // DC3 - Secure distributed set-based state estimation in networked switched systems

Université d'Orléans | Orleans, Centre | France | 14 days ago

satisfiability checkers. To provide precise robust guarantees for state inclusion, which is a crucial feature to ensure safety in CI operation, secure set-based estimators have been introduced. These state