Filtrer vos résultats
- 19
- 13
- 15
- 9
- 3
- 2
- 2
- 1
- 2
- 22
- 11
- 1
- 2
- 3
- 1
- 2
- 4
- 4
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 24
- 8
- 20
- 11
- 7
- 6
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 10
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
|
triés par
|
|
|
Control of Linear Min-plus Systems under Temporal Constraints44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2005), Dec 2005, Seville, Spain. pp.7738-7743
Communication dans un congrès
hal-00362920v1
|
||
A Holonic Approach for manufacturing Control: An industrial application11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), May 2006, Saint-Etienne, France
Communication dans un congrès
hal-00860125v1
|
|||
Testing experiments on bounded Petri netsIEEE Transactions on Automation Science and Engineering, 2014, 11 (1), pp.125-138
Article dans une revue
hal-01479638v1
|
|||
|
|
Event-Driven Control for Reaching a Steady State in Controlled Generalized Batches Petri Nets15th IFAC Workshop on Discrete Event Systems, WODES 2020, Nov 2020, Rio de Janeiro, Brazil. ⟨10.1016/j.ifacol.2021.04.063⟩
Communication dans un congrès
hal-03171923v1
|
||
|
|
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics3rd International Conference on Control, Decision and Information Technologies (CoDIT'16), 2016, Malte, Malta
Communication dans un congrès
hal-01490127v1
|
||
Differential Petri Net Models in Industrial Automation and Supervisory ControlIEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2006, 36, Issue 4, pp.543-553
Article dans une revue
hal-00859948v1
|
|||
Control of temporal constraints based on dioid algebra for timed event graphs19th IEEE International Parallel & Distributed Processing Symposium (IPDPS'06), Apr 2005, Denver, United States
Communication dans un congrès
hal-00860495v1
|
|||
|
|
Méthode formelle de commande sous contraintes de temps dans les dioïdesModélisation des Systèmes Réactifs, MSR'05, publié dans le Journal Européen des Systèmes Automatisés, RS série JESA, volume 39 - n° 1-2-3/2005, Oct 2005, Grenoble, France. pp.319-334
Communication dans un congrès
hal-00362941v1
|
||
|
|
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECOS 2020., Oct 2020, Xi'an, China. pp.84-99, ⟨10.1007/978-3-030-65955-4_7⟩
Communication dans un congrès
hal-03171901v1
|
||
Outils de modélisation des automatismes séquentiels - Réseaux de PetriRevue Techniques de l'ingénieur. Informatique industrielle, 2009, S2 (S7252)
Article dans une revue
hal-01487940v1
|
|||
|
|
Algorithm for Controlling the Transient Behavior of Controlled Generalized Batches Petri Nets12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France
Poster de conférence
hal-02433029v1
|
||
|
|
Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata20th IFAC World Congress, Jul 2017, Toulouse, France. pp.13434 - 13440, ⟨10.1016/j.ifacol.2017.08.2300⟩
Communication dans un congrès
hal-01786065v1
|
||
|
|
Max-Plus Control Design for Temporal Constraints Meeting in Timed Event GraphsIEEE Transactions on Automatic Control, 2012, 57 (2), pp.462 - 467. ⟨10.1109/TAC.2011.2164735⟩
Article dans une revue
hal-00752347v1
|
||
|
|
SIZING, CYCLE TIME AND PLANT CONTROL USING DIOID ALGEBRAA. Dolgui J. Soldek and O. Zaikin (Eds.), Springer. SIZING, CYCLE TIME AND PLANT CONTROL USING DIOID ALGEBRA, Springer, pp.71-85, 2004
Chapitre d'ouvrage
hal-00362950v1
|
||
Testing experiments on State Machine Petri nets[Rapport de recherche] Technical Report (original paper submitted to IEEE Transactions on Automation Science and Engineering). 2013
Rapport
hal-01488787v1
|
|||
Marking optimization of deterministic timed marked graphs weighted under infinite server semantics 3rd International Conference on Control, Decision and.. , 2016, 3rd International Conference on Control, Decision and Information Technologies (CoDIT'16), Unknown Region
Communication dans un congrès
hal-01490119v1
|
|||
Actes 4èmes Journées Doctorales MACS 2011ISBN : 2-9524747-7-X, juin 2011, 2011
Ouvrages
hal-01488688v1
|
|||
|
|
Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control2016 IEEE International Conference on Automation Science and Engineering (CASE), Aug 2016, Fort Worth, United States. pp.427-432
Communication dans un congrès
hal-01997510v1
|
||
|
|
Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France
Poster de conférence
hal-04527970v1
|
||
Pilotage Multi-agents d'un système de fabrication de vitres de sécurité6ème Conférence Francophone de Modélisation et Simulation (MOSIM'06), Apr 2006, Rabat, Maroc
Communication dans un congrès
hal-00860000v1
|
|||
Transitory State of Neutral Continuous Marked GraphsIEEE International Conference on Systems, Man and Cybernetics SMC 2004, Oct 2004, La Haye, Netherlands
Communication dans un congrès
hal-00861481v1
|
|||
Synchronizing sequences on a class of unbounded systems using synchronized Petri netsDiscrete Event Dynamic Systems, 2016, 26 (1), pp.85-108
Article dans une revue
hal-01479616v1
|
|||
Proc. of 9th International Conference on Modeling, Optimization & SIMulation (MOSIM'12)hal-00728581, 2012
Ouvrages
hal-01488684v1
|
|||
Controllable batch dynamics of batch places under variable speed limit control[Rapport de recherche] Laboratoire des Sciences de l'Information et des Systèmes. 2014
Rapport
hal-01488776v1
|
|||
|
|
MODÉLISATION ET SIMULATION DU TRAFIC ROUTIER PAR RÉSEAUX DE PETRI LOTS TRIANGULAIRESMOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France
Communication dans un congrès
hal-01166684v1
|
||
Dynamics and steady state analysis of controlled Generalized Batches Petri NetsNonlinear Analysis: Hybrid Systems, 2014, 12, pp.33-34
Article dans une revue
hal-01479637v1
|
|||
Max-Plus Control Design for Temporal Constraints Meeting in Timed Event GraphsIEEE Transactions on Automatic Control, 2012, 57 (2), pp.462 - 467
Article dans une revue
hal-01479651v1
|
|||
Algorithm for controlling the transient behavior of controlled generalized batches Petri netsMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Poster de conférence
hal-02432706v1
|
|||
|
|
Controlled Triangular Batches Petri Nets: a highway case study29th European Modeling and Simulation Symposium (EMSS 2017), Sep 2017, Barcelona, Spain
Communication dans un congrès
hal-01785943v1
|
||
|
|
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2018, Thessaloniki, France. pp.51-57
Communication dans un congrès
hal-02019075v1
|
- 1
- 2