Mona Noori Hosseini

According to our database, Mona Noori Hosseini authored at least 17 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

State-Labeled Safety Analysis of Modular Observers for Opacity Verification.

Bengt Lennartson, Mona Noori Hosseini, Christoforos N. Hadjicostis

IEEE Control. Syst. Lett., 2022

2020

Efficient Temporal Logic Verification by Incremental Abstraction.

Bengt Lennartson, Xudong Liang, Mona Noori Hosseini

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Incremental Abstraction for Diagnosability Verification of Modular Systems.

Mona Noori Hosseini, Bengt Lennartson

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Incremental Observer Reduction Applied to Opacity Verification and Synthesis.

Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis

CoRR, 2018

2016

Diagnosability verification using compositional branching bisimulation.

Mona Noori Hosseini, Bengt Lennartson

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

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

Verification of diagnosability based on compositional branching bisimulation.

Mona Noori Hosseini, Bengt Lennartson

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Some refinements of the standard autoassociative neural network.

Behrooz Makki, Mona Noori Hosseini

Neural Comput. Appl., 2013

Parkinson's Disease Diagnosis Using Modular Systems.

Mona Noori Hosseini, Behrooz Makki

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.

Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

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

State-vector transition model applied to supervisory control.

Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

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

An evolving neural network to perform dynamic principal component analysis.

Behrooz Makki, Mona Noori Hosseini, Seyyed Ali Seyyedsalehi

Neural Comput. Appl., 2010

2008

Unsupervised extraction of meaningful Nonlinear Principal Components applied for voice conversion.

Behrooz Makki, Mona Noori Hosseini, Seyyed Ali Seyyedsalehi

Proceedings of the International Joint Conference on Neural Networks, 2008

Selective Dynamic Principal Component Analysis Using Recurrent Neural Networks.

Mona Noori Hosseini, S. Gharibzadeh, Peyman Gifani, S. Babaei, Behrooz Makki

Proceedings of the Fourth International Conference on Natural Computation, 2008

2007

Principal Component Analysis using Constructive Neural Networks.

Behrooz Makki, Seyed Ali Seyed Salehi, Mona Noori Hosseini, Nasser Sadati

Proceedings of the International Joint Conference on Neural Networks, 2007