| 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 | 22 | 2011 |
| Compositional visible bisimulation abstraction applied to opacity verification M Noori-Hosseini, B Lennartson, C Hadjicostis IFAC-PapersOnLine 51 (7), 434-441, 2018 | 21 | 2018 |
| 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 | 17 | 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 |
| Visible bisimulation equivalence—a unified abstraction for temporal logic verification B Lennartson, M Noori-Hosseini IFAC-PapersOnLine 51 (7), 400-407, 2018 | 11 | 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 |
| 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 |
| 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 | 5 | 2022 |
| 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 | 5 | 2013 |
| Efficient temporal logic verification by incremental abstraction B Lennartson, X Liang, M Noori-Hosseini 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 4 | 2020 |
| 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 |
| 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 |
| Parkinson's Disease Diagnosis Using Modular Systems MN Hosseini, B Makki 2013 Conference on Technologies and Applications of Artificial Intelligence …, 2013 | 2 | 2013 |
| 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 |
| 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 |
Bengt LennartsonProfessor of Automation, Chalmers University of TechnologyVerified email at chalmers.se
