Filtrer vos résultats
- 19
- 14
- 25
- 5
- 2
- 1
- 19
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 4
- 2
- 4
- 1
- 1
- 2
- 3
- 7
- 1
- 27
- 6
- 17
- 14
- 1
- 1
- 1
- 1
- 1
- 33
- 14
- 14
- 11
- 7
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
33 résultats
|
|
triés par
|
Performance Analysis of Linear Systems over Semiring with Additive InputsWorksop On Discrete Event Systems, WODES 08, May 2008, Göteborg, Sweden
Communication dans un congrès
hal-00859167v1
|
|||
|
Failure Detection and Localization for Timed Event Graphs in (max, +)-AlgebraDiscrete Event Dynamic Systems, 2021, 31 (4), pp.513-552. ⟨10.1007/s10626-020-00329-7⟩
Article dans une revue
hal-03122966v1
|
||
ContainerMinMaxGD: a Toolbox for (Min,+)-Linear SystemsWorkshop on Network Calculus, WoNeCa'12, Mar 2012, Kaiserslautern, Germany
Communication dans un congrès
hal-00846437v1
|
|||
|
Learning chronicles signing multiple scenario instances25th International Workshop on Principles of Diagnosis - DX'14, Sep 2014, Graz, Austria
Communication dans un congrès
hal-01162866v1
|
||
Container of (min,+)-linear systemsDiscrete Event Dynamic Systems, 2014, 24, pp.15-52. ⟨10.1007/s10626-012-0148-9⟩
Article dans une revue
hal-00846229v1
|
|||
|
Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéairesModélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p
Communication dans un congrès
hal-01710331v1
|
||
|
Interval systems over idempotent semiringLinear Algebra and its Applications, 2009, 431 (5–7), pp.855 - 862. ⟨10.1016/j.laa.2009.03.039⟩
Article dans une revue
hal-01113461v1
|
||
|
Hybrid systems Diagnosis using modified particle Petri netsInternational Workshop on Principles of Diagnosis (DX), Sep 2014, Graz, Austria
Communication dans un congrès
hal-01095110v1
|
||
|
Detection of time shift failures in (max, +)-linear systems with time intervals for assembly line2019 IEEE International Conference on Systems, Man and Cybernetics, Oct 2019, Bari, Italy. pp.1801-1806
Communication dans un congrès
hal-02376093v1
|
||
|
Observer-based detection of time shift failures in (max,+)-linear systemsThe 31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, United States
Communication dans un congrès
hal-03023250v1
|
||
Control of uncertain (min,+)-linear systemsPOSTA'09 - 3rd International Symposium on Positive Systems: Theory and Applications, Sep 2009, Valence, Spain
Communication dans un congrès
hal-00858971v1
|
|||
|
Mapping Chronicles to a k-dimensional Euclidean Space via Random Projections14th annual IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), Aug 2018, Munich, Germany. 6p
Communication dans un congrès
hal-01817539v1
|
||
|
Learning chronicles signing multiple scenario instances19th World Congress of the International Federation of Automatic Control (IFAC), Aug 2014, Cape Town, South Africa. Paper ThC15.2
Communication dans un congrès
hal-02087826v1
|
||
On the dual product and the dual residuation over idempotent semiring of intervals2010
Autre publication scientifique
hal-00857879v1
|
|||
|
Observer-based detection and localization of time shift failures in (max,+)-linear systemsIEEE 17th International Conference on Automation Science and Engineering (CASE 2021), Aug 2021, Lyon, France. ⟨10.1109/CASE49439.2021.9551625⟩
Communication dans un congrès
hal-03417390v1
|
||
|
Chronicle Discovery for Diagnosis from Raw Data: A Clustering Approach10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2018, Aug 2018, Varsaw, Poland. 8p
Communication dans un congrès
hal-01817529v1
|
||
|
Active Diagnosis Algorithm for the Localization of Time Failures in (Max,+)-Linear Systems16th IFAC Workshop on Discrete Event Dynamic Systems (WODES'22), Sep 2022, Prague, Czech Republic. pp.276-283, ⟨10.1016/j.ifacol.2022.10.354⟩
Communication dans un congrès
hal-04249433v1
|
||
Approximation convexe de systèmes (max,+)linéairesJournées Doctorales / Journées Nationales MACS (JD-JN-MACS 2009), Mar 2009, Angers, France
Communication dans un congrès
hal-00858617v1
|
|||
Représentation Tridimensionnelle de la Dynamique des Graphes d'Evénements Temporisés GénéralisésMSR'09 Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.1081-1095
Communication dans un congrès
hal-00858634v1
|
|||
Control of uncertain (max,+)-linear systems in order to decrease uncertaintyWODES 2010, Workshop on Discrete Event Systems, Aug 2010, Berlin, Germany
Communication dans un congrès
hal-00857993v1
|
|||
Contrôle de flux en algèbre (min,+)Journées Nationales du GDR GPL (Génie de la Programmation et du Logiciel), Jun 2011, Lille, France
Communication dans un congrès
hal-00856796v1
|
|||
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched SystemsCDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩
Communication dans un congrès
hal-00924815v1
|
|||
|
Design of indicators for the detection of time shift failures in (max, +)-linear systems20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P
Communication dans un congrès
hal-01534552v1
|
||
|
Localization of time shift failures in (max,+)-linear systems14th Workshop on Discrete Event Systems, WODES'18, May 2018, Sorrento Coast, Italy. pp.186-191
Communication dans un congrès
hal-01954270v1
|
||
|
Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max,+) Observer-Based Approach13th KES-IDT 2021 Conference : Intelligent Decision Technology, Jun 2021, virtual conference center, Italy. pp.545-555, ⟨10.1007/978-981-16-2765-1_45⟩
Communication dans un congrès
hal-03332445v1
|
||
|
Modèles et calculs garantis pour les systèmes (min,+)-linéairesAutomatique. Université d'Angers, 2011. Français. ⟨NNT : ⟩
Thèse
tel-00665973v1
|
||
Encadrement de systèmes (min,+)-linéairesMSR'09 Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France
Communication dans un congrès
hal-00858638v1
|
|||
Flow Control with (min,+) algebraISOLA'10 - Special Session WCTT (Worst Case Traversal Time) - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2010, Heraklion - Crète, Greece
Communication dans un congrès
hal-00858005v1
|
|||
Interval systems over idempotent semiringsLinear Algebra and its Applications, 2009, 431, Issues 5-7, pp.855-862
Article dans une revue
hal-00858673v1
|
|||
|
An Ordered Chronicle Discovery Algorithm3nd ECML/PKDD Workshop on Advanced Analytics and Learning on Temporal Data, AALTD'18, Sep 2018, Dublin, Ireland
Communication dans un congrès
hal-01947338v1
|
- 1
- 2