Sebastian Engell
Papers
6
Total Citations
31
H-Index
4
About
Sebastian Engell is a leading figure in the automation and control of complex, resource-constrained systems, with a particular focus on the intersection of logistics, robotics, and formal verification. His research centers on developing rigorous, model-based methods for scheduling and control, often employing timed automata to guarantee optimal and safe system behavior. Engell’s major contributions lie in the dynamic scheduling of autonomous systems, as demonstrated by his work on managing shuttle robots in high-rise warehouses (7 citations) and polymer plants (6 citations), where he pioneered the use of dynamically configured timed automata models to optimize material flow under real-time constraints. He has also advanced robust nonlinear model predictive control (NMPC) for mobile robots navigating dynamic obstacles (6 citations) and tackled practical challenges in localization, such as compensating for signal loss in RFID-based systems (5 citations). A foundational achievement is his integration of timed condition/event systems with timed automata for hybrid system verification (4 citations), bridging control theory and computer science. Engell’s work is notable for its direct industrial applicability, from miniature pipeless plants to full-scale warehouses, consistently pushing the boundaries of how formal methods can enable efficient, autonomous decision-making in real-world environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4Compensating Signal Loss in RFID-Based Localization Systems5 citations · 2019
- 5
- 6