Filtrer vos résultats
- 14
- 9
- 16
- 5
- 1
- 1
- 1
- 22
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 16
- 7
- 18
- 4
- 3
- 3
- 3
- 1
- 1
- 23
- 16
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
23 résultats
|
|
|
triés par
|
|
|
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
Communication dans un congrès
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 : ⟩
Thèse
tel-00559442v1
|
||
|
|
Petri Algebras[Research Report] RR-5355, INRIA. 2004, pp.28
Rapport
inria-00070648v1
|
||
|
|
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
Communication dans un congrès
hal-01102862v1
|
||
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⟩
Communication dans un congrès
hal-03472838v1
|
|||
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⟩
Communication dans un congrès
hal-02496218v1
|
|||
Sailboat Routing with Multiple Objectives for Sailing Races23rd Chesapeake Sailing Yacht Symposium, Mar 2019, Annapolis, United States
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-02497400v1
|
|||
Petri AlgebrasICALP 2005 : 32nd International Colloquium, Automata, Languages and Programming, Jul 2005, Lisboa, Portugal. pp.742-754, ⟨10.1007/11523468_60⟩
Communication dans un congrès
istex
hal-01102950v1
|
|||
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
Communication dans un congrès
hal-01711322v1
|
|||
Robotic system testing with AMSA frameworkInternational Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-02497327v1
|
|||
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
Communication dans un congrès
hal-01102932v1
|
|||
FaST: An Efficient Framework For Visualizing Large-Scale Time Series2022 IEEE International Conference on Big Data (Big Data), Dec 2022, Osaka, Japan. pp.3745-3754, ⟨10.1109/BigData55660.2022.10020317⟩
Communication dans un congrès
hal-04103149v1
|
|||
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
Communication dans un congrès
hal-02497384v1
|
|||
|
|
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
Article dans une revue
hal-01102905v1
|
||
|
|
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⟩
Communication dans un congrès
hal-02496215v1
|
||
|
|
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⟩
Communication dans un congrès
hal-02497288v1
|
||
|
|
NAVIDRO, a CARES architectural style for configuring drone co-simulationACM Transactions on Embedded Computing Systems (TECS), In press, ⟨10.1145/3651889⟩
Article dans une revue
hal-04514108v1
|
||
|
|
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
Communication dans un congrès
hal-01102851v1
|
||
|
|
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
Article dans une revue
hal-01102839v1
|
||
An axiomatization of the Token Game based on Petri AlgebrasFundamenta Informaticae, 2007, 77 (3), pp.187-215
Article dans une revue
hal-01102917v1
|
|||
|
|
Group-nets and strict-group-netsPetri Net Newsletter, 2004, 67, pp.17-25
Article dans une revue
hal-01102979v1
|