Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by SVEN LOHMANN
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics
International Journal of Software Engineering and Knowledge Engineering
Computer Graphics
Computer Networks
Communications
Computer-Aided Design
Artificial Intelligence
Software
Related publications
Logic Controllers Dependability Verification Using a Plant Model
IFAC Proceedings Volumes
Discrete-Time Supervisory Control of Families of Linear Set-Point Controllers
IFAC Proceedings Volumes
Design of Embedded Controllers Based on Anytime Computing
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical
Embedded Optimization-Based Controllers for Industrial Processes
Controllers for the Verification of Communicating Multi-Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Supervisory Control Software Using State Proximity and Merging
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control
Design of Fuzzy Controllers for Embedded Systems With JFML
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Stopwatch Semantics for Hybrid Controllers
IFAC Proceedings Volumes
