Recherche - Laboratoire Jean Kuntzmann

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		stability verification, scheduling, and synthesis of cyber-physical systems Mohammad Al Khatib Classical Analysis and ODEs [math.CA]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM041⟩ Thèse tel-01684705v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis Mohammad Al Khatib , Antoine Girard , Thao Dang Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, United States. pp.358-363, ⟨10.1016/j.ifacol.2015.11.200⟩ Communication dans un congrès hal-01276237v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats