Mona Noori-Hosseini

Showing 25 publications

2022

State-labeled safety analysis of modular observers for opacity verification

Bengt Lennartson, Mona Noori-Hosseini, C. N. Hadjicostis
IEEE Control Systems Letters. Vol. 6, p. 2936-2941
Journal article
2020

Efficient Temporal Logic Verification by Incremental Abstraction

Bengt Lennartson, Xudong Liang, Mona Noori-Hosseini
IEEE International Conference on Automation Science and Engineering. Vol. 2020-August, p. 894-899
Paper in proceeding
2019

Incremental Abstraction for Diagnosability Verification of Modular Systems

Mona Noori-Hosseini, Bengt Lennartson
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2019-September, p. 393-399
Paper in proceeding
2018

Compositional Visible Bisimulation Abstraction Applied to Opacity Verification

Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis
IFAC-PapersOnLine. Vol. 51 (7), p. 434-441
Paper in proceeding
2018

Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification

Bengt Lennartson, Mona Noori-Hosseini
IFAC-PapersOnLine. Vol. 51 (7), p. 400-407
Paper in proceeding
2016

Diagnosability Verification Using Compositional Branching Bisimulation

Mona Noori-Hosseini, Bengt Lennartson
13th International Workshop on Discrete Event Systems, Xi'an, China, May 30 - June 1, p. 245-250
Paper in proceeding
2014

Supervisory Control for State-Vector Transition Models—A Unified Approach

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Journal article
2014

Verification of diagnosability based on compositional branching bisimulation

Mona Noori-Hosseini, Bengt Lennartson
Proc. 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2014), Barcelona, Spain, September.
Paper in proceeding
2013

Parkinson's disease diagnosis using modular systems

Mona Noori-Hosseini, Behrooz Makki
Proceedings - 2013 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2013, p. 79-83
Paper in proceeding
2013

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

Mona Noori-Hosseini, Bengt Lennartson, Maria Paola Cabasino et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 1-6
Paper in proceeding
2013

Some Refinements of the Standard Autoassociative Neural Network

Behrooz Makki, Mona Noori-Hosseini
Neural Computing and Applications. Vol. 22 (7-8), p. 1461-1475
Journal article
2012

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs

Tord Alenljung, Bengt Lennartson, Mona Noori-Hosseini
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1506-1521
Journal article
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper in proceeding
2009

An evolving neural network to perform dynamic principal component analysis

Behrooz Makki, Mona Noori-Hosseini, Seyyed Ali Seyyedsalehi
Neural Computing and Applications. Vol. 19 (3), p. 459-463
Journal article
2009

Voice Conversion using Neural Networks

Behrooz Makki, Mona Noori-Hosseini
submitted at Journal of Neural Processing Letters
Journal article
2009

Unaligned Training for Voice Conversion based on a Local-nonlinear Principal Component Analysis Approach

Behrooz Makki, Seyedali Seyedsalehi, Mona Noori-Hosseini et al
Neural Computing and Applications. Vol. 19 (3), p. 437-444
Journal article
2009

Parkinson's Disease Diagnosis using Principal Component Analysis and Classifiers

Mona Noori-Hosseini, Behrooz Makki, Shahriar Gharibzadeh
submitted at journal of Digital Signal Processing
Journal article
2009

Dimension Reduction using Local nonlinear Principal Component Analysis

Behrooz Makki, Mona Noori-Hosseini, Nasser Sadati
Accepted at Journal of Engineering Letters
Journal article
2008

Selective Dynamic Principal Component Analysis using Recurrent Neural Networks

Mona Noori-Hosseini, Shahriar Gharibzadeh, Parisa Gifani et al
Fourth International Conference on Natural Computation. Vol. 3, p. 306-310
Paper in proceeding
2008

Unsupervised Extraction of the Nonlinear Principal Components applied for Voice Conversion

Behrooz Makki, Mona Noori-Hosseini, Seyedali Seyedsalehi
International Joint Conference on Neural Networks. Vol. 1 (1), p. 1370 - 1373
Paper in proceeding
2007

Voice Conversion Using Nonlinear Principal Component Analysis

Behrooz Makki, Seyedali Seyedsalehi, Nasser Sadati et al
IEEE symposium series on computational intelligence. Vol. 1 (1), p. 336-339
Paper in proceeding
2007

Principal Component Analysis using Constructive Neural Networks

Behrooz Makki, Seyedali Seyedsalehi, Mona Noori-Hosseini et al
International Joint Conference on Neural Networks. Vol. 1 (1), p. 558-562
Paper in proceeding
2007

Modeling Superconductive Fault Current Limiter using Constructive Neural Networks

Behrooz Makki, Nasser Sadati, Mona Noori-Hosseini
IEEE symposium on Industrial Electronics-ISIE. Vol. 1 (1), p. 2859-2863
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Mona Noori-Hosseini participates, but you have to be logged in as a Chalmers employee to see them.