Mona Noori Hosseini

17 papers B 2C 4Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
State-Labeled Safety Analysis of Modular Observers for Opacity Verification.
IEEE Control. Syst. Lett.
Bengt Lennartson, Mona Noori Hosseini, Christoforos N. Hadjicostis
2020 — conf
Efficient Temporal Logic Verification by Incremental Abstraction.
CASE
Bengt Lennartson, Xudong Liang, Mona Noori Hosseini
2019 C conf
Incremental Abstraction for Diagnosability Verification of Modular Systems.
ETFA
Mona Noori Hosseini, Bengt Lennartson
2018 J jnl
Incremental Observer Reduction Applied to Opacity Verification and Synthesis.
CoRR
Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis
2016 — conf
Diagnosability verification using compositional branching bisimulation.
WODES
Mona Noori Hosseini, Bengt Lennartson
2014 J jnl
Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2014 C conf
Verification of diagnosability based on compositional branching bisimulation.
ETFA
Mona Noori Hosseini, Bengt Lennartson
2013 C conf
A survey on efficient diagnosability tests for automata and bounded Petri nets.
ETFA
Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu
2013 — conf
Parkinson's Disease Diagnosis Using Modular Systems.
TAAI
Mona Noori Hosseini, Behrooz Makki
2013 J jnl
Some refinements of the standard autoassociative neural network.
Neural Comput. Appl.
Behrooz Makki, Mona Noori Hosseini
2012 J jnl
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.
IEEE Trans. Control. Syst. Technol.
Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini
2012 C conf
State-vector transition model applied to supervisory control.
ETFA
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2010 J jnl
An evolving neural network to perform dynamic principal component analysis.
Neural Comput. Appl.
Behrooz Makki, Mona Noori Hosseini, Seyyed Ali Seyyedsalehi
2010 J jnl
Unaligned training for voice conversion based on a local nonlinear principal component analysis approach.
Neural Comput. Appl.
Behrooz Makki, Mona Noori Hosseini, Seyyed Ali Seyyedsalehi, Nasser Sadati
2008 — conf
Selective Dynamic Principal Component Analysis Using Recurrent Neural Networks.
ICNC (3)
Mona Noori Hosseini, S. Gharibzadeh, Peyman Gifani, S. Babaei, Behrooz Makki
2008 B conf
Unsupervised extraction of meaningful Nonlinear Principal Components applied for voice conversion.
IJCNN
Behrooz Makki, Mona Noori Hosseini, Seyyed Ali Seyyedsalehi
2007 B conf
Principal Component Analysis using Constructive Neural Networks.
IJCNN
Behrooz Makki, Seyed Ali Seyed Salehi, Mona Noori Hosseini, Nasser Sadati