Mona Noori-Hosseini
Showing 25 publications
State-labeled safety analysis of modular observers for opacity verification
INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Efficient Temporal Logic Verification by Incremental Abstraction
Incremental Abstraction for Diagnosability Verification of Modular Systems
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification
Diagnosability Verification Using Compositional Branching Bisimulation
Verification of diagnosability based on compositional branching bisimulation
Supervisory Control for State-Vector Transition Models—A Unified Approach
Verification of diagnosability based on compositional branching bisimulation
Parkinson's disease diagnosis using modular systems
A survey on efficient diagnosability tests for automata and bounded Petri nets
Some Refinements of the Standard Autoassociative Neural Network
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
State-Vector Transition Model Applied to Supervisory Control
An evolving neural network to perform dynamic principal component analysis
Voice Conversion using Neural Networks
Parkinson's Disease Diagnosis using Principal Component Analysis and Classifiers
Dimension Reduction using Local nonlinear Principal Component Analysis
Selective Dynamic Principal Component Analysis using Recurrent Neural Networks
Unsupervised Extraction of the Nonlinear Principal Components applied for Voice Conversion
Voice Conversion Using Nonlinear Principal Component Analysis
Principal Component Analysis using Constructive Neural Networks
Modeling Superconductive Fault Current Limiter using Constructive Neural Networks
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.