Mona Noori Hosseini

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 5

Top Topics

Discrete Event Systems

Disease Diagnosis

Top Venues

IEEE Control. Syst. Lett.

IEEE Trans Autom. Sci. Eng.

Publications

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