-
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness
We propose an extension of visibly pushdown automata by means of weights (represented as positive integers) associated with transitions, called visi- bly pushdown... -
Quelques resultats de stabilisation robuste. applications à la commande
Version reconstituée à partir de fichiers sauvegardés, la version de soutenance est archivée imprimée à la bibliothèque de l'école des Mines de Paris sous la cote EMP 142.001... -
Stabilization of trajectories, adding an integration, nested saturations
Cette version est reconstituée à partir de fichiers sauvegardés mais n'est pas exactement la version de soutenance dont les exemplaires imprimés sont conservés à la bibliothèque... -
BPDF: Boolean Parametric Data Flow
Dataflow programming models are well-suited to program many-core streaming applications. However, many streaming applications have a dynamic behavior. To capture this... -
Exponential dichotomy of nonautonomous periodic systems in terms of the bound...
International audience -
Exponential Stability and Uniform Boundedness of Solutions for Nonautonomous ...
International audience
