Survey of what DynIbex can do for you

Alexandre Dit Sandretto, Julien ; Chapoutot, Alexandre ; et al.

In: https://hal.science/hal-01927784 ; 2018, 2018

Online report

Zugriff:

Volltext

This paper aims at gathering the capabilities of the tool DynIbex, in term of differential equations that can be handled, the facilities for constraint programming with differential equations, and the applications already done by the help of this tool. It collects all of our contributions produced on, or by the help of, DynIbex.

Titel:	Survey of what DynIbex can do for you
Autor/in / Beteiligte Person:	Alexandre Dit Sandretto, Julien ; Chapoutot, Alexandre ; Mullier, Olivier ; Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) ; École Nationale Supérieure de Techniques Avancées (ENSTA Paris) ; Sûreté et Fiabilité des Logiciels (SFL) ; École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris)
Link:	https://hal.science/hal-01927784 https://hal.science/hal-01927784/document Volltext
Zeitschrift:	https://hal.science/hal-01927784 ; 2018, 2018
Veröffentlichung:	HAL CCSD, 2018
Medientyp:	report
Schlagwort:	Runge-Kutta methods validated numerical integration con-trol synthesis appropriate design hybrid systems motion planning model predictive control viability kernel [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS] [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Sonstiges:	Nachgewiesen in: BASE Sprachen: English Document Type: report Language: English Relation: hal-01927784; https://hal.science/hal-01927784; https://hal.science/hal-01927784/document; https://hal.science/hal-01927784/file/survey.pdf Rights: info:eu-repo/semantics/OpenAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.