Folgen
Mona Noori, Ph.D.
Mona Noori, Ph.D.
Volvo GTT
Bestätigte E-Mail-Adresse bei volvo.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Compositional visible bisimulation abstraction applied to opacity verification
M Noori-Hosseini, B Lennartson, C Hadjicostis
IFAC-PapersOnLine 51 (7), 434-441, 2018
212018
Sensor graphs for discrete event modeling applied to formal verification of PLCs
T Alenljung, B Lennartson, MN Hosseini
IEEE transactions on control systems technology 20 (6), 1506-1521, 2011
212011
Supervisory control for state-vector transition models—A unified approach
B Lennartson, F Basile, S Miremadi, Z Fei, MN Hosseini, M Fabian, ...
IEEE Transactions on Automation Science and Engineering 11 (1), 33-47, 2013
162013
Unaligned training for voice conversion based on a local nonlinear principal component analysis approach
B Makki, MN Hosseini, SA Seyyedsalehi, N Sadati
Neural computing and applications 19, 437-444, 2010
142010
Incremental observer reduction applied to opacity verification and synthesis
M Noori-Hosseini, B Lennartson, C Hadjicostis
arXiv preprint arXiv:1812.08083, 2018
132018
Visible bisimulation equivalence—a unified abstraction for temporal logic verification
B Lennartson, M Noori-Hosseini
IFAC-PapersOnLine 51 (7), 400-407, 2018
112018
Voice conversion using nonlinear principal component analysis
B Makki, SA Seyedsalehi, N Sadati, MN Hosseini
2007 IEEE Symposium on Computational Intelligence in Image and Signal …, 2007
112007
An evolving neural network to perform dynamic principal component analysis
B Makki, M Noori Hosseini, SA Seyyedsalehi
Neural Computing and Applications 19, 459-463, 2010
92010
Some refinements of the standard autoassociative neural network
B Makki, MN Hosseini
Neural Computing and Applications 22, 1461-1475, 2013
62013
State-labeled safety analysis of modular observers for opacity verification
B Lennartson, M Noori-Hosseini, CN Hadjicostis
IEEE Control Systems Letters 6, 2936-2941, 2022
52022
A survey on efficient diagnosability tests for automata and bounded Petri nets
MN Hosseini, B Lennartson, MP Cabasino, C Seatzu
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
52013
Efficient temporal logic verification by incremental abstraction
B Lennartson, X Liang, M Noori-Hosseini
2020 IEEE 16th International Conference on Automation Science and …, 2020
42020
Principal component analysis using constructive neural networks
B Makki, SA Seyedsalehi, MN Hosseini, N Sadati
2007 International Joint Conference on Neural Networks, 558-562, 2007
42007
Incremental abstraction for diagnosability verification of modular systems
M Noori-Hosseini, B Lennartson
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
22019
Diagnosability verification using compositional branching bisimulation
M Noori-Hosseini, B Lennartson
2016 13th International Workshop on Discrete Event Systems (WODES), 245-250, 2016
22016
Verification of diagnosability based on compositional branching bisimulation
M Noori-Hosseini, B Lennartson
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
22014
Parkinson's Disease Diagnosis Using Modular Systems
MN Hosseini, B Makki
2013 Conference on Technologies and Applications of Artificial Intelligence …, 2013
22013
Diagnosis of discrete event systems
M Noori Hosseini
22011
Unsupervised extraction of meaningful nonlinear principal components applied for voice conversion
B Makki, MN Hosseini, SA Seyyedsalehi
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
22008
Selective dynamic principal component analysis using recurrent neural networks
MN Hosseini, S Gharibzadeh, P Gifani, S Babaei, B Makki
2008 Fourth International Conference on Natural Computation 3, 306-310, 2008
12008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20