المؤلفون: Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 91-104 (2017)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1709.02561v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/622cb1a956df48b3b83919ae69aef3ea

المؤلفون: Jean-baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, Andre Platzer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-138.pdf.

مصطلحات موضوعية: Airborne Collision Avoidance, ACAS X, Hybrid Systems, Theorem Proving, Fed- eral Aviation Administration, Aircraft, Markov Decision Processes, Cyber Physical Systems

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.6760; http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-138.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.6760
http://reports-archive.adm.cs.cmu.edu/anon/2014/CMU-CS-14-138.pdf

المؤلفون: Khalil Ghorbal, Andre Platzer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://reports-archive.adm.cs.cmu.edu/anon/usr/anon/2013/CMU-CS-13-129.pdf.

مصطلحات موضوعية: invariant algebraic sets

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.2348; http://reports-archive.adm.cs.cmu.edu/anon/usr/anon/2013/CMU-CS-13-129.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.2348
http://reports-archive.adm.cs.cmu.edu/anon/usr/anon/2013/CMU-CS-13-129.pdf

المؤلفون: Khalil Ghorbal, Andrew Sogokon

المساهمون: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), ECS Department - University of Southampton, University of Southampton

المصدر: Journal of Symbolic Computation
Journal of Symbolic Computation, 2022

مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computational Geometry (cs.CG), FOS: Computer and information sciences, Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science, Algebra and Number Theory, positively invariant sets, decision procedures, F.2.2, I.1.2, dynamical systems, Symbolic Computation (cs.SC), [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], Logic in Computer Science (cs.LO), Computational Mathematics, polynomial vector fields, Computer Science - Computational Geometry, Ordinary differential equations

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc2877f70b0a7efe8ccbe348cc38d091
http://arxiv.org/abs/2009.09797

المؤلفون: Khalil Ghorbal, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-vmcai2012.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.9001; http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-vmcai2012.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.9001
http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-vmcai2012.pdf

المؤلفون: Khalil Ghorbal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://tel.archives-ouvertes.fr/docs/00/64/34/42/PDF/thesis-KG.pdf.

مصطلحات موضوعية: par

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.6738; http://tel.archives-ouvertes.fr/docs/00/64/34/42/PDF/thesis-KG.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.393.6738
http://tel.archives-ouvertes.fr/docs/00/64/34/42/PDF/thesis-KG.pdf

المؤلفون: Khalil Ghorbal, Eric Goubault, Sylvie Putot

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav10.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.1502; http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav10.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.1502
http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav10.pdf

المؤلفون: Khalil Ghorbal, Eric Goubault, Sylvie Putot

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/cav10.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.7471; http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/cav10.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.7471
http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/cav10.pdf

المؤلفون: Benveniste, Albert, Caillaud, Benoit, Elmqvist, Hilding, Khalil, Ghorbal, Otter, Martin, Pouzet, Marc

المساهمون: Steffen, B., Woeginger, G.

مصطلحات موضوعية: Leitungsbereich SR

وصف الملف: application/pdf

Relation: https://elib.dlr.de/124131/1/Otter-MultimodeDAE_LNCS10000.pdf; Benveniste, Albert und Caillaud, Benoit und Elmqvist, Hilding und Khalil, Ghorbal und Otter, Martin und Pouzet, Marc (2019) Multi-Mode DAE Models - Challenges, Theory and Implementation. In: Lecture Notes in Computing and Software Science Springer International Publishing AG. doi:10.1007/978-3-319-91908-9_16 . ISBN 978 3 319 91907 2.

الاتاحة: https://elib.dlr.de/124131/
https://elib.dlr.de/124131/1/Otter-MultimodeDAE_LNCS10000.pdf
https://link.springer.com/chapter/10.1007/978-3-319-91908-9_16

المؤلفون: André Platzer, Andrew Sogokon, Khalil Ghorbal

المساهمون: Carnegie Mellon University [Pittsburgh] (CMU), Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), University of Edinburgh, This material is based upon work supported by the National Science Foundation (NSF) under NSF CAREER Award CNS-1054246, NSF EXPEDITION CNS-0926181, NSF CNS-0931985, by DARPA under agreement number FA8750-12-2-029, as well as the Engineering and Physical Sciences Research Council (UK) under grant EP/I010335/1., Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1)

المصدر: Computer Languages, Systems and Structures
Computer Languages, Systems and Structures, 2017, Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 47 (1), pp.19-43. ⟨10.1016/j.cl.2015.11.003⟩
Computer Languages, Systems and Structures, Elsevier, 2017, Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 47 (1), pp.19-43. ⟨10.1016/j.cl.2015.11.003⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Polynomial, Dynamical systems theory, Logic, Computer Networks and Communications, Computer science, Deductive Power, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, 01 natural sciences, Formal proof, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], Algebraic number, Formal Verification, Formal verification, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Positive Invariance, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Hierarchy (mathematics), Polynomial Differential Equations, Dynamical Systems, Algebra, Flow (mathematics), 010201 computation theory & mathematics, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29b7596d4f7398b64e88ef598b8884d5
https://doi.org/10.1016/j.cl.2015.11.003

المؤلفون: Marc Pouzet, Martin Otter, Khalil Ghorbal, Albert Benveniste, Benoît Caillaud, Hilding Elmqvist

المساهمون: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Mogram AB [Lund], Deutsches Zentrum für Luft- und Raumfahrt (DLR), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL), Parallélisme de Kahn Synchrone ( Parkas), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), École normale supérieure - Paris (ENS-PSL), Département d'informatique - ENS Paris (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Département d'informatique de l'École normale supérieure (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris)

المصدر: Computing and Software Science: State of the Art and Perspectives
Computing and Software Science: State of the Art and Perspectives, 10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
Lecture Notes in Computer Science ISBN: 9783319919072
Computing and Software Science

مصطلحات موضوعية: Differential algebraic equations, 0209 industrial biotechnology, Modelica, Modeling language, Computer science, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Structural analysis, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, Nonstandard analysis, Operational semantics, Modia, Modeling and simulation, 020901 industrial engineering & automation, StructAnalysis, Multi-Mode systems, 0101 mathematics, DAE, Differential index, Structure (mathematical logic), mDAE, Cyber-Physical Systems, DAE Differential index, Cyber-physical system, Control engineering, Differentiation index, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, HybridLang, Robot, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, CPS, Constructive semantics, Differential algebraic equation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a22cc881e481bf4027f257cc8ef430c6
https://elib.dlr.de/124131/

المؤلفون: André Platzer, Khalil Ghorbal, Yong Kiam Tan, Andrew Sogokon

المساهمون: Vanderbilt University [Nashville], Carnegie Mellon University [Pittsburgh] (CMU), Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Havelund, K., Peleska, J., Roscoe, B., de Vink, E.

المصدر: FM 2018: Formal Methods
FM 2018-22nd International Symposium on Formal Methods
FM 2018-22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
Formal Methods ISBN: 9783319955810
FM

مصطلحات موضوعية: Lyapunov function, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], 0209 industrial biotechnology, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Vector barrier certificates, Computer science, Differential equation, Scalar (mathematics), Safety verification, Ode, MathematicsofComputing_NUMERICALANALYSIS, 02 engineering and technology, Comparison systems, symbols.namesake, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Ordinary differential equation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, 0202 electrical engineering, electronic engineering, information engineering, symbols, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], Applied mathematics, 020201 artificial intelligence & image processing, Invariant (mathematics), Ordinary differential equations

وصف الملف: text

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::128f8cf37ae08d82513bedde1f12e95f
https://hal.archives-ouvertes.fr/hal-01969800

المؤلفون: Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadski, Andre Platzer, Geoffrey J. Gordon, Peter Capell

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, computer sciences

Relation: https://figshare.com/articles/Hybrid_Theorem_Proving_of_Aerospace_Systems_Applications_and_Challenges/6606218

الاتاحة: https://doi.org/10.1184/r1/6606218.v1
https://figshare.com/articles/Hybrid_Theorem_Proving_of_Aerospace_Systems_Applications_and_Challenges/6606218

المؤلفون: Stefan Mitsch, Khalil Ghorbal, Andre Platzer

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, computer sciences

Relation: https://figshare.com/articles/On_Provably_Safe_Obstacle_Avoidance_for_Autonomous_Robotic_Ground_Vehicles/6607886

الاتاحة: https://doi.org/10.1184/r1/6607886.v1
https://figshare.com/articles/On_Provably_Safe_Obstacle_Avoidance_for_Autonomous_Robotic_Ground_Vehicles/6607886

المؤلفون: Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadski, Andre Platzer

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, Airborne Collision Avoidance, ACAS X, Hybrid Systems, Theorem Proving, Federal Aviation Administration, Aircraft, Markov Decision Processes, Cyber Physical Systems

Relation: https://figshare.com/articles/A_Formally_Verified_Hybrid_System_for_the_Next-Generation_Airborne_Collision_Avoidance_System_CMU-CS-14-138_/6587423

الاتاحة: https://doi.org/10.1184/r1/6587423.v1
https://figshare.com/articles/A_Formally_Verified_Hybrid_System_for_the_Next-Generation_Airborne_Collision_Avoidance_System_CMU-CS-14-138_/6587423

المؤلفون: Khalil Ghorbal, Andre Platzer

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, invariant algebraic sets, polynomial vector fields, real algebraic geometry, Zariski topology, higher-order Lie derivation, automated generation and checking, symbolic linear algebra, rank minimization, formal verification, hybrid systems

Relation: https://figshare.com/articles/Characterizing_Algebraic_Invariants_by_Differential_Radical_Invariants_CMU-CS-13-129_/6604052

الاتاحة: https://doi.org/10.1184/r1/6604052.v1
https://figshare.com/articles/Characterizing_Algebraic_Invariants_by_Differential_Radical_Invariants_CMU-CS-13-129_/6604052

المؤلفون: Khalil Ghorbal, Andrew Sogokon, Andre Platzer

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, computer sciences

Relation: https://figshare.com/articles/Invariance_of_Conjunctions_of_Polynomial_Equalities_for_Algebraic_Differential_Equations/6606623

الاتاحة: https://doi.org/10.1184/r1/6606623.v1
https://figshare.com/articles/Invariance_of_Conjunctions_of_Polynomial_Equalities_for_Algebraic_Differential_Equations/6606623

المؤلفون: Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

المصدر: ARCH@CPSWeek

مصطلحات موضوعية: Nonlinear system, Computer science, Control theory, Verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7a6949d532c6f448c0e7d6b2afdb0ae1
https://doi.org/10.29007/w94n

المؤلفون: Aurora Schmidt, André Platzer, Yanni Kouskoulas, Khalil Ghorbal, Ryan W. Gardner, Stefan Mitsch, Jean-Baptiste Jeannin

المساهمون: Samsung Research America [San José], Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Johns Hopkins University Applied Physics Laboratory [Laurel, MD] (APL), Johannes Kepler Universität Linz (JKU), Carnegie Mellon University [Pittsburgh] (CMU), This research was conducted under the sponsorship of the Federal Aviation Administration Traffic Alert & Collision Avoidance System (TCAS) Program Of- fice (PO) AJM-233 under contract number DTFAWA-11-C- 00074. Additionally, support for the basic verification tech- nology used as a foundation for this research was provided by the National Science Foundation under NSF CAREER Award CNS-1054246., Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique)

المصدر: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Collision Avoidance Systems, Computer science, Aviation, ACAS X, 02 engineering and technology, Computer security, computer.software_genre, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], Formal verification, Formal Verification, Collision avoidance, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], business.industry, Theorem Proving, 020207 software engineering, Reliability engineering, Airborne collision avoidance system, Automated theorem proving, Hybrid system, Geometric Reasoning, Theory of computation, business, Advice (complexity), computer, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00ae4a81a72dfeadeb0fe4742afe0371
https://hal.science/hal-01232365

المؤلفون: Taylor T. Johnson, Andrew Sogokon, Khalil Ghorbal

المساهمون: Carnegie Mellon University [Pittsburgh] (CMU), Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Vanderbilt University [Nashville], Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1)

المصدر: ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.185:1--185:19. ⟨10.1145/3126506⟩
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 16 (5s), pp.185:1--185:19. ⟨10.1145/3126506⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Theoretical computer science, Computer science, discontinuous differential equations, 02 engineering and technology, operational models, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, Partition (number theory), • Theory of computation → Formalisms, Polynomial vector fields, hybrid automata, Automaton, Piecewise-smooth systems, Discontinuous differential equations, Additional Key Words and Phrases: piecewise-smooth systems, • Computer systems organization → Embedded and cyber-physical systems, Hardware and Architecture, Program verification, Piecewise, 020201 artificial intelligence & image processing, CCS Concepts: • Mathematics of computing → Differential equations, discon- tinuous differential equations, Algorithm, Program semantics, Software

وصف الملف: text

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60ffc30a9de19e38fb30e08bc0ad46cb
https://hal.inria.fr/hal-01658196/file/op-semantics_emsoft17.pdf