Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthias Woehrle
Benchmark: Reachability on a Model With Holes
Related publications
On a Model of Portfolio Selection With Benchmark
SSRN Electronic Journal
A Benchmark Model for Parallel Ns3
Reachability Analysis on Distributed Executions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
N Reactor RELAP5 Model Benchmark Comparisons
On Reachability of Quantized Control System
Transactions of the Society of Instrument and Control Engineers
A Reachability Verification Method Based on Pi- Calculus and Role Network Model for Cross- Organizational Business Processes
International Journal of Electrical Energy
Desensitized Model Predictive Control Applied to a Structural Benchmark Problem
IFAC Proceedings Volumes
Joint Project on Benchmark Dose Modelling With RIVM
EFSA Supporting Publications
New Gramians for Switched Linear Systems: Reachability, Observability, and Model Reduction
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
