Publications de l'équipe ISA (46 réponses)
2021 (4 publication(s))
- Publications en revue à comité de lecture (4)
- Modeling and control of a class of timed Petri nets submitted to time constraints in Max-plus algebra.
S. Akerkane, R. Kara, S. Amari
Int. Journal of Systems Science, DOI: 10.1080/00207721.2021.1919937, 2021 (to be published)
- Switching models and control of Petri Nets with shared resources under marking constraints.
N. Ben Afia, S. Amari, M. Hassani
International Journal of Computer Integrated Manufacturing, 2021 (to be published)
- Synthetizing state feedback control laws for Discrete Event Systems with constrained paths using Min-Plus algebra.
N. Ben Afia, S. Amari
Studies in Informatics and Control, 30(1), pp. 39-52, DOI: 10.24846/v30i1y202104, 2021
- Min-Plus realizable control design for partially observable timed event graphs under marking constraints.
K. Tebani, S. Amari
European Journal of Control, 57, pp. 33-40, DOI: 10.1016/j.ejcon.2020.12.002, 2021
2020 (6 publication(s))
- Publications en revue à comité de lecture (6)
- Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras
F. Ait-Oumeziane, R. Kara, S. Amari
Int. Journal of Systems Science, 51(11), pp. 2041-2056, DOI: 10.1080/00207721.2020.1783590, 2020
- An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets
F. Basile, G. Faraut, L. Ferrara, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, 17(2), pp. 784-798, April 2020
- Fault detection of Discrete-Event Systems based on an identied timed model
R. De Souza, M. Moreira, J.-J. Lesage
Control Engineering Practice, 91, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2020
- Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
O. Himrane, A. Ourghanlian, S. Amari
International Journal of Control, DOI: 10.1080/00207179.2020.1798021, 2020 (to be published)
- A new modification of LEACH for efficient energy in WSN
T. Lechani, V. Tourtchine, S. Amari
Indonesian Journal of Electrical Engineering and Computer Science, 20(3), pp. 1495-1506, DOI: 10.11591/ijeecs.v20.i3.pp1495-1506, 2020
- Human Activity Discovery and Recognition using Probabilistic Finite-State Automata
K. Viard, M.P. Fanti, G. Faraut, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, 17(4), pp. 2085-2096, October 2020
2019 (4 publication(s))
- Publications en revue à comité de lecture (4)
- Discrete event system identification with the aim of fault detection
M. Moreira, J.-J. Lesage
Discrete Event Dynamic Systems, 29(2), pp. 191-209, 2019
- Fault diagnosis based on identified discrete-event models
M. Moreira, J.-J. Lesage
Control Engineering Practice, DOI: https://doi.org/10.1016/j.conengprac.2019.07.019, 2019 (to be published)
- Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models
P.Y. Piriou, J.M. Faure, J.J. Lesage
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, DOI: 10.1177/1748006X19827128, February 17, 2019
- State-Feedback Control for a class of timed Petri nets subject to marking constraints
K. Tebani, S. Amari, R. Kara
Asian Journal of Control, Vol. 21(3), Pages: 1–18. 2019, DOI: 10.1002/asjc.1787
2018 (5 publication(s))
- Publications en revue à comité de lecture (5)
- Model-based testing of PLC programs with appropriate conformance relations
A. Guignard, J.-M. Faure, G. Faraut
IEEE Trans. on Industrial Informatics, 14 (1), pp. 350-359, January 2018
- Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
J. Saives, G. Faraut, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, PP(99), 15(2), pp. 832-841, 2018
- Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
F.Tamssaouet, S. Amari
Int. Journal of Systems Science, DOI: 10.1080/00207721.2018.1483541, 2018 (to be published)
- Discovering Petri Net Models of Discrete Event Processes by Computing T-invariants
T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, J.-J. Lesage
IEEE Trans. on Automation Science and Engineering, 15(3), pp. 992-1003, July 2018
- Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
K. Tebani, S. Amari, R. Kara
Int. Journal of Systems Science, Vol 49(6), Pages 1332-1344, 2018
2017 (6 publication(s))
- Publications en revue à comité de lecture (6)
- Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions
M. Benazouz, J.-M. Faure
IEEE Trans. on Automation Science and Engineering, PP(99), pp. 1-11, DOI: 10.1109/TASE.2017.2654423, 2017
- A Black-box Identification Method for Automated Discrete Event Systems
A.-P. Estrada-Vargas, J.-J. Lesage, E. Lopez-Mellado
IEEE Trans. on Automation Science and Engineering, 14(3), pp. 1321-1336
- An Integrated Framework for Binary Sensor Placement and Inhabitants Location Tracking
M.P. Fanti, G. Faraut, J.-J. Lesage, M. Roccotelli
IEEE Trans. on Systems, Man, and Cybernetics: Systems, 2016, 48(1), pp. 154-160
- Observable Feedback Control of discrete processes under time constraint: Application to Cluster Tools
R. Jacob, S. Amari
International Journal of Computer Integrated Manufacturing, Vol. 30(8), Pages: 880-894, 2017. DOI: http://dx.doi.org/10.1080/0951192X.2016.1224391
- Generalized Boolean logic Driven Markov Processes: a powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems
P.-Y. Piriou, J.-M. Faure, J.-J. Lesage
Reliability Engineering and System Safety, vol. 163, pp. 57-68, July 2017
- Closed-loop control of constrained discrete event systems: application to a networked automation system
K. Tebani, S. Amari, R. Kara
The International Journal of Advanced Manufacturing Technology. 90(5), pp 1295–1306, May 2017, DOI: 10.1007/s00170-016-9466-7
2016 (6 publication(s))
- Publications en revue à comité de lecture (6)
- Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra
W.-M Boussahel, S. Amari, R. Kara
Discrete Event Dynamic Systems, vol: 26(4), Pages: 561-581. December 2016, DOI: 10.1007/s10626-015-0220-3
- Model-Based Location Tracking of an a priori Unknown Number of Inhabitants in Smart Homes
M. Danancher, J.-J. Lesage, L. Litz
IEE Trans. on Automation Science and Engineering, Volume 13, issue 2, pp. 1090-1101, April 2016
- Model Predictive Control of P-time Event Graphs
H. Hamri, R. Kara, S. Amari
Int. Journal of Systems Science, 47(16), pp. 3792-3802, 2016
- Overview of Discrete Event Systems Opacity: models, validation, and quantification
R. Jacob, J.-J. Lesage, J.-M. Faure
Annual Reviews in Control, 41 (2016), pp. 135-146
- Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation
G. Merle, J. -M. Roussel, J. -J. Lesage, V. Perchet, N. Vayatis
Quality and Reliability Engineering International, Volume 32, issue 1, pp. 7-18, Feb. 2016, doi: 10.1002/qre.1728
- A Meta-model to Support the Integration of Dependability Concerns into Systems Engineering Processes: an Example from Power Production
P.-Y. Piriou, J.-M. Faure, G. Deleuze
IEEE Systems Journal, 10 (1), pp. 15 - 24, 2016, DOI: 10.1109/JSYST.2014.2328663
2015 (5 publication(s))
- Publications en revue à comité de lecture (5)
- Feedback control for a class of discrete event systems with critical-time
S. Amari
International Journal of Control, vol. 88(10), Pages: 1974-1983. April 2015, DOI: 10.1080/00207179.2015.1025430
- Modeling and temporal performances evaluation of networked control systems using (max, +) algebra
R. Ammour, S. Amari
Int. Journal of Systems Science, 46(01), pp. 18-30, DOI: 10.1080/00207721.2014.938787, 2015
- Automated generation of partial Markov chain from high level descriptions
P.-A. Brameret, A. Rauzy, J.-M. Roussel
Reliability Engineering and System Safety, 139, pp. 179-187, DOI: 10.1016/j.ress.2015.02.009, 2015
- A Stepwise Method for Identification of Controlled Discrete Manufacturing Systems
A.-P. ESTRADA-VARGAS, J.-J. LESAGE, E. LOPEZ-MELLADO
International Journal of Computer Integrated Manufacturing, 28(2), pp. 187-199
- Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors
J. Saives, C. Pianon, G. Faraut
IEEE Trans. on Automation Science and Engineering, 12(04), pp. 1211-1224, DOI: 10.1109/TASE.2015.2471842, 2015
2014 (4 publication(s))
- Publications en revue à comité de lecture (4)
- Input-Output Identification of Controlled Discrete Manufacturing Systems
A. P. ESTRADA-VARGAS, E. LÓPEZ-MELLADO, J.-J. LESAGE
Int. Journal of Systems Science, 45(3), pp. 456-471, March 2014
- Quantitative Analysis of Dynamic Fault Trees based on the Structure Function
G. MERLE, J.-M. ROUSSEL, J.-J. LESAGE
Quality and Reliability Engineering International, 30(1), pp. 143–156, February 2014
- Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers
J. Provost, J.-M. Roussel, J.-M. Faure
IEEE Transactions on Industrial Informatics, DOI: 10.1109/TII.2014.2315972, 2014
- Design of logic controllers thanks to symbolic computation of simultaneously-asserted Boolean equations
J.-M. ROUSSEL, J.-J. LESAGE
Mathematical Problems in Engineering, vol. 2014, Article ID 726246, doi:10.1155/2014/726246, 15 pages, 2014
2013 (2 publication(s))
2012 (3 publication(s))
- Publications en revue à comité de lecture (3)
- Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra
B. ADDAD, S. AMARI, J-J LESAGE
Discrete Event Dynamic Systems, 22(4), pp. 429-449, December 2012
- Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs
S. AMARI, I. DEMONGODIN, J.J. LOISEAU, C. MARTINEZ
IEEE Trans. on Automatic Control, 57(2), pp. 462-467, DOI: 10.1109/TAC.2011.2164735, February 2012
- Fault detection and isolation in manufacturing systems with an identified discrete event model
M. ROTH, S. SCHNEIDER, J.-J. LESAGE, L. LITZ
Int. Journal of Systems Science, 43(10), pp. 1826-1841, DOI: 10.1080/00207721.2011.649369, October 2012