- 93
- 14
- 8
- 5
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Hervé Marchand
143
Documents
Identifiants chercheurs
herve-marchand- IdRef : 095626360
Présentation
My currents interests are the control synthesis of discrete events systems. I am also interested in automatic test generation as well as in Diagnosis of discrete event systems. Within these areas, I concentrate on
- the control of discrete event systems
- control of Modular and hierarchical discrete event systems avoiding state space exploration
- control under partial observation
- Control within the synchronous paradigm and its application to the control of fault tolerant systems and multi-task systems
- control of infinite systems using symbolic approximate techniques
- the Model-Based Testing:
- models and theory for conformance testing of reactive systems,
- automated test case synthesis with enumerated or symbolic approximate techniques.
- combination between verification and test
- the diagnosis and prognosis (predictability) of Discrete Event Systems by means of Supervision Patterns
- the security of information systems: security testing, diagnosis for intrusion detection and automatic synthesis of access-control.
- Model checking, symbolic bisimulation, reduction model
Since October 2009, I'm member of the [IFAC](http://people.rennes.inria.fr/Herve.Marchand/) Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005 and member of the steering committee of MSR (*Modélisation des Systhèmes Réactifs*) since 2011. I was Associate Editor of the [IEEE Transactions on Automatic Control](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.
My currents interests are the control synthesis of discrete events systems. I am also interested in automatic test generation as well as in Diagnosis of discrete event systems. Within these areas, I concentrate on
- the control of discrete event systems
- control of Modular and hierarchical discrete event systems avoiding state space exploration
- control under partial observation
- Control within the synchronous paradigm and its application to the control of fault tolerant systems and multi-task systems
- control of infinite systems using symbolic approximate techniques
- the Model-Based Testing:
- models and theory for conformance testing of reactive systems,
- automated test case synthesis with enumerated or symbolic approximate techniques.
- combination between verification and test
- the diagnosis and prognosis (predictability) of Discrete Event Systems by means of Supervision Patterns
- the security of information systems: security testing, diagnosis for intrusion detection and automatic synthesis of access-control.
- Model checking, symbolic bisimulation, reduction model
Since October 2009, I'm member of the [IFAC](http://people.rennes.inria.fr/Herve.Marchand/) Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005 and member of the steering committee of MSR (*Modélisation des Systhèmes Réactifs*) since 2011. I was Associate Editor of the [IEEE Transactions on Automatic Control](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.
Publications
- 7
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 22
- 13
- 12
- 12
- 11
- 10
- 10
- 9
- 9
- 9
- 7
- 7
- 7
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 2
- 5
- 6
- 4
- 8
- 7
- 6
- 5
- 6
- 10
- 11
- 6
- 7
- 10
- 8
- 6
- 4
- 7
- 3
- 4
- 2
- 2
- 2
- 1
- 2
- 1
|
|
Mutual Opacity between Multiple AdversariesWodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7
Communication dans un congrès
hal-03773490v1
|
|
|
Compositional model checking of an SDN platformDRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Apr 2021, Milan, Italy. pp.1-8
Communication dans un congrès
hal-03229532v1
|
|
|
Enforcing Opacity in Modular SystemsIFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
Communication dans un congrès
hal-02917644v1
|
|
|
Towards resilient supervisors against sensor deception attacksCDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6
Communication dans un congrès
hal-02390435v1
|
|
|
Concurrent secrets with quantified suspicionACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Communication dans un congrès
hal-01757949v1
|
|
|
Opacity with powerful attackersWODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩
Communication dans un congrès
hal-01886156v1
|
|
|
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource ManagementWODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
Communication dans un congrès
hal-01807284v1
|
|
|
Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6
Communication dans un congrès
hal-01590438v1
|
|
|
On the cost of diagnosis with disambiguationQEST 2017, Sep 2017, Berlin, France. pp.140-156
Communication dans un congrès
hal-01537796v1
|
|
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Communication dans un congrès
hal-01644754v1
|
|
|
Finding the weakest link(s): Coalition games for decentralized discrete-event control 55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States
Communication dans un congrès
hal-01373709v1
|
|
|
Predictive Runtime Enforcement *SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Communication dans un congrès
hal-01244369v1
|
|
|
Diagnosability of Repairable Faults13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Communication dans un congrès
hal-01302562v1
|
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Communication dans un congrès
hal-01116015v1
|
|
|
|
Deadlock-free Discrete Controller Synthesis for Infinite State Systems54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan
Communication dans un congrès
hal-01200976v1
|
|
|
Enforcement of (Timed) Properties with Uncontrollable Events12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Communication dans un congrès
hal-01185238v3
|
|
|
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. pp.132-138
Communication dans un congrès
hal-01187745v1
|
|
|
TiPEX: A Tool Chain for Timed Property Enforcement During eXecutionRV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Communication dans un congrès
hal-01244446v1
|
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Communication dans un congrès
hal-00974548v1
|
|
|
Runtime Enforcement of Regular Timed PropertiesSoftware Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
Communication dans un congrès
hal-00907571v1
|
|
|
Discrete Controller Synthesis for Infinite State Systems with ReaXIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Communication dans un congrès
hal-00974553v1
|
|
|
Runtime Enforcement of K-step Opacity52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
Communication dans un congrès
hal-00863223v1
|
|
|
A parity-based architecture for decentralized discrete-event controlAmerican Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
Communication dans un congrès
hal-00828714v1
|
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Communication dans un congrès
hal-00863276v1
|
|
|
Analysis of partially observed recursive tile systems11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Communication dans un congrès
hal-00743196v1
|
|
|
Runtime Enforcement of Timed Properties3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
Communication dans un congrès
hal-00743270v2
|
|
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
Communication dans un congrès
inria-00629104v1
|
|
|
Abstracting Time and Data for Conformance Testing of Real-Time Systems7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany
Communication dans un congrès
hal-00646089v1
|
|
|
Global State Estimates for Distributed Systems13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Communication dans un congrès
inria-00581259v1
|
|
|
Polychronous Controller Synthesis from MARTE CCSL Timing SpecificationsACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom
Communication dans un congrès
inria-00594942v1
|
|
|
Synthesis of Communicating Controllers for Distributed SystemsIEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.1803-1810
Communication dans un congrès
inria-00627574v1
|
|
|
Supervisory Control for Modal Specifications of ServicesWorkshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435
Communication dans un congrès
inria-00510013v1
|
|
|
Contracts for modular discrete controller synthesisProceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩
Communication dans un congrès
inria-00476910v1
|
|
|
More Testable Properties22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Communication dans un congrès
inria-00510018v2
|
|
|
Automatic Test Generation for Data-Flow Reactive Systems with time constraints22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30
Communication dans un congrès
inria-00530584v1
|
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Communication dans un congrès
inria-00510019v1
|
|
|
Génération automatique de tests pour des propriétés de sécurité4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Jun 2009, Luchon, France. pp.157-174
Communication dans un congrès
inria-00420454v1
|
|
|
Control of Infinite Symbolic Transition Systems under Partial ObservationEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462
Communication dans un congrès
inria-00420429v1
|
|
|
Automatic Testing of Access Control for Security PropertiesTESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩
Communication dans un congrès
inria-00420424v1
|
|
|
Dynamic Observers for the Synthesis of Opaque Systems7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Oct 2009, Macao SAR, China. pp.352-367, ⟨10.1007/978-3-642-04761-9_26⟩
Communication dans un congrès
inria-00399229v1
|
|
|
Computational Complexity for State-Feedback Controllers with Partial Observation7th International Conference on Control and Automation, ICCA'09, Dec 2009, Christchurch, New Zealand. pp.435-441, ⟨10.1109/ICCA.2009.5410356⟩
Communication dans un congrès
inria-00420445v1
|
Contrôle décentralisé de systèmes symboliques infinis sous observation partielle7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.805-820
Communication dans un congrès
inria-00420486v1
|
|
|
|
Monitoring Confidentiality by Diagnosis TechniquesEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589
Communication dans un congrès
inria-00420420v1
|
|
|
Predictability of Sequence Patterns in Discrete Event SystemsIFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543
Communication dans un congrès
inria-00420497v1
|
|
|
Opacity Enforcing Control SynthesisWorkshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35
Communication dans un congrès
inria-00344269v1
|
|
|
Construction de moniteurs pour la surveillance de propriétés de sécurité6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.105-120
Communication dans un congrès
inria-00424274v1
|
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩
Communication dans un congrès
hal-00375564v1
|
|
|
|
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86
Communication dans un congrès
inria-00424279v1
|
|
|
A constructive and modular approach to decentralized supervisory Control problems3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
Communication dans un congrès
inria-00424857v1
|
|
|
Supervision Patterns in Discrete Event Systems DiagnosisWorkshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩
Communication dans un congrès
inria-00425085v1
|
|
|
Symbolic Determinisation of Extended Automata4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. pp.197-212, ⟨10.1007/978-0-387-34735-6_18⟩
Communication dans un congrès
inria-00424858v1
|
Supervision patterns in discrete event systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Communication dans un congrès
inria-00463799v1
|
|
|
|
Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.149-154, ⟨10.1109/WODES.2006.1678423⟩
Communication dans un congrès
inria-00425106v1
|
Motifs de surveillance pour le diagnostic de systèmes à événements discretsRFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France
Communication dans un congrès
inria-00463795v1
|
|
|
|
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. pp.889-895
Communication dans un congrès
inria-00483946v1
|
|
|
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.2763-2768
Communication dans un congrès
inria-00483911v1
|
|
|
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.31-35
Communication dans un congrès
inria-00483925v1
|
|
|
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsFormal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. pp.189-204, ⟨10.1007/11526841_14⟩
Communication dans un congrès
inria-00483945v1
|
|
|
Modular supervisory control with general indecomposable specification languages44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.3474-3479
Communication dans un congrès
inria-00483919v1
|
|
|
Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. pp.79-94
Communication dans un congrès
inria-00520028v1
|
|
|
From Safety Verification to Safety TestingTesting of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. pp.160-176, ⟨10.1007/978-3-540-24704-3_11⟩
Communication dans un congrès
inria-00517304v1
|
|
|
Modular Supervisory Control of a class of Concurrent Discrete Event SystemsWorkshop on Discrete Event Systems, Sep 2004, Reims, France. pp.181-186
Communication dans un congrès
inria-00517300v1
|
|
|
Contrôle de systèmes à événements discrets hiérarchiques4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.383-397
Communication dans un congrès
inria-00520044v1
|
|
|
Synthèse de contrôleurs pour une relation de conformité4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.523-536
Communication dans un congrès
inria-00520038v1
|
Ensuring the conformance of reactive discrete-event systems using supervisory control42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. pp.2692 - 2697, ⟨10.1109/CDC.2003.1273030⟩
Communication dans un congrès
inria-00520030v1
|
|
|
|
Supervisory Control of Asynchronous and Hierarchical Finite State MachinesEuropean Control Conference, Sep 2003, Cambridge, United Kingdom
Communication dans un congrès
inria-00520032v1
|
|
|
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩
Communication dans un congrès
inria-00525533v1
|
A Protocol for Loosely Time-Triggered ArchitecturesEmbedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩
Communication dans un congrès
inria-00526261v1
|
|
|
|
Supervisory Control Problems of Hierarchical Finite State Machines41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. pp.1199-1204, ⟨10.1109/CDC.2002.1184677⟩
Communication dans un congrès
inria-00525529v1
|
|
|
A case study in applying discrete control synthesis to excavator operationIEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1175694⟩
Communication dans un congrès
inria-00525535v1
|
Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200
Communication dans un congrès
inria-00525565v1
|
|
|
|
Optimal control of discrete event systems under partial observation40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩
Communication dans un congrès
inria-00526273v1
|
|
|
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩
Communication dans un congrès
inria-00526268v1
|
|
|
A Design Environment for Discrete-Event Controllers based on the Signal Language1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. pp.770-775, ⟨10.1109/ICSMC.1998.725501⟩
Communication dans un congrès
hal-00546362v1
|
|
|
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285
Communication dans un congrès
hal-00544301v1
|
Modélisation des systèmes réactifsHervé Marchand and Loïc Hélouët. Lavoisier, 47, pp.260, 2013, Journal européen des systèmes automatisés
Ouvrages
hal-00906737v1
|
Validation of Reactive SystemsS, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008
Chapitre d'ouvrage
inria-00422469v1
|
|
Combinaison entre vérification et test pour la validation de systèmes réactifsNicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information
Chapitre d'ouvrage
inria-00424484v1
|
|
|
Verification of Inference Observability in Supervisory Control of Discrete-Event Systems2023
Pré-publication, Document de travail
hal-04054414v1
|
|
|
Compositional model checking of SDN platform2021
Pré-publication, Document de travail
hal-03153317v1
|
|
|
Synthesis of Supervisors Robust Against Sensor Deception Attacks2020
Pré-publication, Document de travail
hal-03116690v1
|
|
|
Opacity with powerful attackers2018
Pré-publication, Document de travail
hal-01738169v1
|
|
|
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata2010
Pré-publication, Document de travail
hal-00503000v1
|
|
|
Contribution to the Analysis of Discrete Event SystemsSoftware Engineering [cs.SE]. Université de Rennes 1, 2017
HDR
tel-01589972v1
|