Compositional visible bisimulation abstraction applied to opacity verification M Noori-Hosseini, B Lennartson, C Hadjicostis IFAC-PapersOnLine 51 (7), 434-441, 2018 | 20 | 2018 |
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 | 20 | 2011 |
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 | 16 | 2013 |
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 | 14 | 2010 |
Incremental observer reduction applied to opacity verification and synthesis M Noori-Hosseini, B Lennartson, C Hadjicostis arXiv preprint arXiv:1812.08083, 2018 | 13 | 2018 |
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 | 11 | 2007 |
Visible bisimulation equivalence—a unified abstraction for temporal logic verification B Lennartson, M Noori-Hosseini IFAC-PapersOnLine 51 (7), 400-407, 2018 | 10 | 2018 |
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 | 9 | 2010 |
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 | 6 | 2013 |
Some refinements of the standard autoassociative neural network B Makki, MN Hosseini Neural Computing and Applications 22, 1461-1475, 2013 | 6 | 2013 |
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 | 4 | 2022 |
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 | 4 | 2007 |
Efficient temporal logic verification by incremental abstraction B Lennartson, X Liang, M Noori-Hosseini 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 3 | 2020 |
Incremental abstraction for diagnosability verification of modular systems M Noori-Hosseini, B Lennartson 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 2 | 2019 |
Diagnosability verification using compositional branching bisimulation M Noori-Hosseini, B Lennartson 2016 13th International Workshop on Discrete Event Systems (WODES), 245-250, 2016 | 2 | 2016 |
Verification of diagnosability based on compositional branching bisimulation M Noori-Hosseini, B Lennartson Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 2 | 2014 |
Diagnosis of discrete event systems M Noori Hosseini | 2 | 2011 |
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 | 2 | 2008 |
Parkinson's Disease Diagnosis Using Modular Systems MN Hosseini, B Makki 2013 Conference on Technologies and Applications of Artificial Intelligence …, 2013 | 1 | 2013 |
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 | 1 | 2008 |