Computational Approaches to Analysis and Control of Hybrid Systems
type: Dataset
description: A hybrid system is a dynamical system exhibiting both continuous and discrete behaviors. Motivated by the multiplication of ''discrete'' embedded computing devices interacting with the ''continuous'' physical world, the research on hybrid systems has rapidly developed since the nineties at the intersection of computer science, control theory and applied mathematics. This thesis presents our theoretical and methodological contributions to this field. In a first part, we introduce an approximation framework that applies to dynamical systems that can be continuous, discrete or hybrid; applications, including some in the field of symbolic control, are presented. The second part deals with reachability analysis, a computational technique which is very useful for the analysis of hybrid systems. Finally, the third part presents our contributions to multi-agent dynamical systems.
landing page: https://theses.hal.science/tel-00908913
keyword: accreditation-to-supervise-research
keyword: analyse-datteignabilite
keyword: approximation
keyword: controle-symbolique
keyword: hybrid-dynamical-systems
keyword: infoeu-reposemanticsother
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: mathmath-ocmathematics-mathoptimization-and-control-mathoc
keyword: multi-agent-dynamical-systems
keyword: reachability-analysis
keyword: symbolic-control
keyword: systemes-dynamiques-hybrides
keyword: systemes-dynamiques-multi-agents
issued: 2026-05-08T02:49:06.571055
modified: 2026-05-08T02:49:06.571060
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Computational Approaches to Analysis and Control of Hybrid Systems
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00908913
issued: 2026-05-08T02:49:06.583634
modified: 2026-05-08T02:49:06.551569