Michael Tittus

9 papers and 135 indexed citations i.

Michael Tittus has authored 9 papers that have received a total of 135 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 4 papers in Industrial and Manufacturing Engineering and 3 papers in Control and Systems Engineering. The topics of these papers are Petri Nets in System Modeling (8 papers), Formal Methods in Verification (4 papers) and Flexible and Reconfigurable Manufacturing Systems (4 papers). Michael Tittus is often cited by papers focused on Petri Nets in System Modeling (8 papers), Formal Methods in Verification (4 papers) and Flexible and Reconfigurable Manufacturing Systems (4 papers) and collaborates with scholars based in Sweden. Michael Tittus's co-authors include Bengt Lennartson, Bo Egardt, Knut Åkesson, Martin Fabian and Stefan Pettersson and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology and Control Engineering Practice