Principal Component Analysis using Constructive Neural Networks. - Behrooz Makki; Seyed Ali Seyed Salehi; Mona Noori Hosseini; Nasser Sadati (IJCNN, 2007)

Selective Dynamic Principal Component Analysis Using Recurrent Neural Networks. - Mona Noori Hosseini; S. Gharibzadeh; Peyman Gifani; S. Babaei; Behrooz Makki (ICNC (3), 2008)

Unsupervised extraction of meaningful Nonlinear Principal Components applied for voice conversion. - Behrooz Makki; Mona Noori Hosseini; Seyyed Ali Seyyedsalehi (IJCNN, 2008)

An evolving neural network to perform dynamic principal component analysis. - Behrooz Makki; Mona Noori Hosseini; Seyyed Ali Seyyedsalehi (Neural Comput. Appl., 2010)

Unaligned training for voice conversion based on a local nonlinear principal component analysis approach. - Behrooz Makki; Mona Noori Hosseini; Seyyed Ali Seyyedsalehi; Nasser Sadati (Neural Comput. Appl., 2010)

State-vector transition model applied to supervisory control. - Bengt Lennartson; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (ETFA, 2012)

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. - Tord Alenljung; Bengt Lennartson; Mona Noori Hosseini (IEEE Trans. Control. Syst. Technol., 2012)

A survey on efficient diagnosability tests for automata and bounded Petri nets. - Mona Noori Hosseini; Bengt Lennartson; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

Parkinson's Disease Diagnosis Using Modular Systems. - Mona Noori Hosseini; Behrooz Makki (TAAI, 2013)

Some refinements of the standard autoassociative neural network. - Behrooz Makki; Mona Noori Hosseini (Neural Comput. Appl., 2013)

Verification of diagnosability based on compositional branching bisimulation. - Mona Noori Hosseini; Bengt Lennartson (ETFA, 2014)

Supervisory Control for State-Vector Transition Models - A Unified Approach. - Bengt Lennartson; Francesco Basile; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2014)

Diagnosability verification using compositional branching bisimulation. - Mona Noori Hosseini; Bengt Lennartson (WODES, 2016)

Incremental Observer Reduction Applied to Opacity Verification and Synthesis. - Mona Noori Hosseini; Bengt Lennartson; Christoforos N. Hadjicostis (CoRR, 2018)

Incremental Abstraction for Diagnosability Verification of Modular Systems. - Mona Noori Hosseini; Bengt Lennartson (ETFA, 2019)

Efficient Temporal Logic Verification by Incremental Abstraction. - Bengt Lennartson; Xudong Liang; Mona Noori Hosseini (CASE, 2020)

State-Labeled Safety Analysis of Modular Observers for Opacity Verification. - Bengt Lennartson; Mona Noori Hosseini; Christoforos N. Hadjicostis (IEEE Control. Syst. Lett., 2022)