Filter your results
- 13
- 8
- 15
- 4
- 1
- 1
- 20
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 14
- 7
- 16
- 4
- 3
- 3
- 3
- 1
- 21
- 14
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
21 Results
|
|
sorted by
|
A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, France. pp.568-576, ⟨10.1109/MODELS-C.2019.00087⟩
Conference papers
hal-02496218v1
|
|||
An Iterative Approach to Automate the Tuning of Continuous Controller Parameters2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
Conference papers
hal-03472838v1
|
|||
Modèle multi-agents pour le pilotage temps réel d'un voilierMSR 2007. 6eme Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France
Conference papers
hal-01102932v1
|
|||
ROS code generation from AMSA framework for robotic systems testing13th National Conference on Software and Hardware Architectures for Robots Control (SHARC'18), Jun 2018, Saint Tropez, France
Conference papers
hal-02497384v1
|
|||
Sailboat Routing with Multiple Objectives for Sailing Races23rd Chesapeake Sailing Yacht Symposium, Mar 2019, Annapolis, United States
Conference papers
hal-02080867v1
|
|||
Parametric exploration for tuning a sailboat control law14th National Conference on Software and Hardware Architectures for Robots Control (SHARC'19), Jul 2019, Montpellier, France
Conference papers
hal-02497372v1
|
|||
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle processus10th National Conference of Control Architectures of Robot (CAR'15), Jun 2015, Lyon, France
Conference papers
hal-02497400v1
|
|||
|
IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded SystemsMOQESM'14. International Conference of Quantitative Monitoring of Underwater Environment, Oct 2014, Brest, France
Conference papers
hal-01102862v1
|
||
|
Petri Algebras[Research Report] RR-5355, INRIA. 2004, pp.28
Reports
inria-00070648v1
|
||
Robotic system testing with AMSA frameworkInternational Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Conference papers
hal-02497327v1
|
|||
A Process for Evaluating Parametric Models for Mechanical Systems Simulation : the Case of a SailboatSofware and Hardware Architectures for Robots Control, Jun 2016, Brest, France
Conference papers
hal-01711322v1
|
|||
|
Petri AlgebrasICALP 2005 : 32nd International Colloquium, Automata, Languages and Programming, Jul 2005, Lisboa, Portugal. pp.742-754, ⟨10.1007/11523468_60⟩
Conference papers
istex
hal-01102950v1
|
||
|
Group-nets et réseaux lexicographiques. Expressivité et décidabilitéRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, Numéro spécial "Réseaux de Petri", 28, pp.1171 - 1201
Journal articles
hal-01102905v1
|
||
|
ImocaGen: A Model-based Code Generator for Embedded Systems Tuning4th International Conference on Model-Driven Engineering and Software Development, Feb 2016, Rome, Italy. pp.390-396, ⟨10.5220/0005804103900396⟩
Conference papers
hal-02497288v1
|
||
|
AVS, a model-based racing sailboat simulator: application to wind integration3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.88-94, ⟨10.1016/j.ifacol.2018.06.242⟩
Conference papers
hal-02496215v1
|
||
|
Génération de code multi-plates-formes pour la mise au point de modèles IMOCACAL 2014. Conférence francophone sur l'Architecture Logicielle, Jun 2014, Paris, France
Conference papers
hal-01102851v1
|
||
|
Group-nets and strict-group-netsPetri Net Newsletter, 2004, 67, pp.17-25
Journal articles
hal-01102979v1
|
||
|
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processusRevue des Nouvelles Technologies de l'Information, 2014, Avancées récentes dans le domaine des Architectures Logicielles, RNTI-L-7, pp.147-164
Journal articles
hal-01102839v1
|
||
An axiomatization of the Token Game based on Petri AlgebrasFundamenta Informaticae, 2007, 77 (3), pp.187-215
Journal articles
hal-01102917v1
|
|||
|
IMOCA : une architecture à base de modes de fonctionnement pour une application de contrôle dans un environnement incertainCAL 2013. 7ième conférence francophone sur les architectures logicielles., May 2013, Toulouse, France
Conference papers
hal-01102659v1
|
||
|
Architecture multi-agents pour le pilotage automatique des voiliers de compétition et Extensions algébriques des réseaux de PetriInformatique [cs]. Université de Bretagne occidentale - Brest, 2010. Français. ⟨NNT : ⟩
Theses
tel-00559442v1
|