Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wouter Kuijper
Compositional Synthesis of Safety Controllers
Related publications
Synthesis of Behavioral Controllers for DES: Increasing Efficiency
IFAC Proceedings Volumes
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data Driven Synthesis of Three Term Digital Controllers
SICE Journal of Control, Measurement, and System Integration
Lab Automation Parallel Synthesis Reactors Temperature Controllers
Chemical and Engineering News
Chemical Engineering
Mimo Pid Controllers Synthesis Using Orthogonal Functions
IFAC Proceedings Volumes
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
Analysis and Synthesis of State-Feedback Controllers With Timing Jitter
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
