- 94
- 14
- 8
- 5
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Hervé Marchand
144
Documents
Researcher identifiers
herve-marchand- IdRef : 095626360
Presentation
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
- 8
- 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
- 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
- 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
|
|
A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems17th Ifac Workshop on Discrete Event Systems, Apr 2024, Rio De Janeiro, Brazil
Conference papers
hal-04581576v1
|
|
|
Mutual Opacity between Multiple AdversariesWodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7
Conference papers
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
Conference papers
hal-03229532v1
|
|
|
Enforcing Opacity in Modular SystemsIFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
Conference papers
hal-02917644v1
|
|
|
Towards resilient supervisors against sensor deception attacksCDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6
Conference papers
hal-02390435v1
|
|
|
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⟩
Conference papers
hal-01886156v1
|
|
|
Concurrent secrets with quantified suspicionACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Conference papers
hal-01757949v1
|
|
|
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⟩
Conference papers
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
Conference papers
hal-01590438v1
|
|
|
On the cost of diagnosis with disambiguationQEST 2017, Sep 2017, Berlin, France. pp.140-156
Conference papers
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
hal-01244369v1
|
|
|
Diagnosability of Repairable Faults13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Conference papers
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⟩
Conference papers
hal-01116015v1
|
|
|
|
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⟩
Conference papers
hal-01185238v3
|
|
|
Deadlock-free Discrete Controller Synthesis for Infinite State Systems54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan
Conference papers
hal-01200976v1
|
|
|
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⟩
Conference papers
hal-01244446v1
|
|
|
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
Conference papers
hal-01187745v1
|
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers
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
Conference papers
hal-00907571v1
|
|
|
Discrete Controller Synthesis for Infinite State Systems with ReaXIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers
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⟩
Conference papers
hal-00863223v1
|
|
|
A parity-based architecture for decentralized discrete-event controlAmerican Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
Conference papers
hal-00828714v1
|
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Conference papers
hal-00863276v1
|
|
|
Analysis of partially observed recursive tile systems11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271
Conference papers
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⟩
Conference papers
hal-00743270v2
|
|
|
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
Conference papers
hal-00646089v1
|
|
|
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
Conference papers
inria-00629104v1
|
|
|
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⟩
Conference papers
inria-00581259v1
|
|
|
Synthesis of Communicating Controllers for Distributed SystemsIEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.1803-1810
Conference papers
inria-00627574v1
|
|
|
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
Conference papers
inria-00594942v1
|
|
|
Supervisory Control for Modal Specifications of ServicesWorkshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435
Conference papers
inria-00510013v1
|
|
|
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
Conference papers
inria-00530584v1
|
|
|
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⟩
Conference papers
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⟩
Conference papers
inria-00510018v2
|
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Conference papers
inria-00510019v1
|
|
|
Control of Infinite Symbolic Transition Systems under Partial ObservationEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462
Conference papers
inria-00420429v1
|
|
|
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
Conference papers
inria-00420454v1
|
|
|
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⟩
Conference papers
inria-00399229v1
|
|
|
Automatic Testing of Access Control for Security PropertiesTESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩
Conference papers
inria-00420424v1
|
|
|
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⟩
Conference papers
inria-00420445v1
|
|
|
Monitoring Confidentiality by Diagnosis TechniquesEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589
Conference papers
inria-00420420v1
|
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
Conference papers
inria-00420486v1
|
|
|
|
Predictability of Sequence Patterns in Discrete Event SystemsIFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543
Conference papers
inria-00420497v1
|
|
|
Opacity Enforcing Control SynthesisWorkshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35
Conference papers
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
Conference papers
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⟩
Conference papers
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
Conference papers
inria-00424279v1
|
|
|
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⟩
Conference papers
inria-00425085v1
|
|
|
A constructive and modular approach to decentralized supervisory Control problems3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
Conference papers
inria-00424857v1
|
Supervision patterns in discrete event systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Conference papers
inria-00463799v1
|
|
|
|
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⟩
Conference papers
inria-00424858v1
|
Motifs de surveillance pour le diagnostic de systèmes à événements discretsRFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France
Conference papers
inria-00463795v1
|
|
|
|
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⟩
Conference papers
inria-00425106v1
|
|
|
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
Conference papers
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
Conference papers
inria-00483925v1
|
|
|
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
Conference papers
inria-00483946v1
|
|
|
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
Conference papers
inria-00483919v1
|
|
|
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⟩
Conference papers
inria-00483945v1
|
|
|
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
Conference papers
inria-00520028v1
|
|
|
Modular Supervisory Control of a class of Concurrent Discrete Event SystemsWorkshop on Discrete Event Systems, Sep 2004, Reims, France. pp.181-186
Conference papers
inria-00517300v1
|
|
|
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⟩
Conference papers
inria-00517304v1
|
|
|
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
Conference papers
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
Conference papers
inria-00520038v1
|
|
|
Supervisory Control of Asynchronous and Hierarchical Finite State MachinesEuropean Control Conference, Sep 2003, Cambridge, United Kingdom
Conference papers
inria-00520032v1
|
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⟩
Conference papers
inria-00520030v1
|
|
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⟩
Conference papers
inria-00526261v1
|
|
|
|
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⟩
Conference papers
inria-00525533v1
|
|
|
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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
Books
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
Book sections
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
Book sections
inria-00424484v1
|
|
|
Verification of Inference Observability in Supervisory Control of Discrete-Event Systems2023
Preprints, Working Papers, ...
hal-04054414v1
|
|
|
Compositional model checking of SDN platform2021
Preprints, Working Papers, ...
hal-03153317v1
|
|
|
Synthesis of Supervisors Robust Against Sensor Deception Attacks2020
Preprints, Working Papers, ...
hal-03116690v1
|
|
|
Opacity with powerful attackers2018
Preprints, Working Papers, ...
hal-01738169v1
|
|
|
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata2010
Preprints, Working Papers, ...
hal-00503000v1
|
|
|
Contribution to the Analysis of Discrete Event SystemsSoftware Engineering [cs.SE]. Université de Rennes 1, 2017
Habilitation à diriger des recherches
tel-01589972v1
|