基本信息
views: 37
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Martin Fabian (Senior Member, IEEE) received the Ph.D. degree in control engineering from the Chalmers University of Technology, Gothenburg, Sweden, in 1995.
He is a Full Professor of Automation and the Head of the Automation Research Group, Department of Electrical Engineering, Chalmers University of Technology, since 2014. His research interests include formal methods for automation systems in a broad sense, merging the fields of control engineering and computer science. He has authored more than 200 publications and is a Co-Developer of the formal methods tool Supremica, which implements state-of-the-art algorithms for supervisory control synthesis.
Research Interests
Papers共 217 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
AUTOMATICA (2024): 111394
IEEE TRANSACTIONS ON AUTOMATIC CONTROLno. 2 (2024): 1074-1080
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMSno. 4 (2024): 1274-1287
IFAC-PapersOnLineno. 1 (2024): 282-287
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2024): 100939
2023 23rd International Conference on Control, Automation and Systems (ICCAS)pp.1209-1214, (2023)
Discrete Event Dynamic Systemsno. 1 (2023): 1-31
Discrete Event Dynamic Systemsno. 3 (2023): 279-340
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn