Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Krogh, Bruce H. - Department of Electrical Engineering and Computer Science, University of Michigan
Computing Polyhedral Approximations to Flow Pipes for Dynamic Systems
Verification of PolyhedralInvariant Hybrid Automata Using
Computing Approximating Automata for a Class of Linear Hybrid Systems
Computing Approximating Automata for a Class of Hybrid Systems
Modeling and Verifying Hybrid Dynamic Systems Using CheckMate B. Izaias Silva,*1
Modeling and Verification of Sampled-Data Hybrid Systems B. Izaias Silva and Bruce H. Krogh
Carnegie Mellon Presenter: Jol Ouaknine
SPECIFICATION-GUIDED ANALYSIS OF HYBRID SYSTEMS USING A HIERARCHY OF
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
We present a formal verification of a control algorithm from the literature for a four-cylinder four-stroke engine in the cutoff
Efficient Representation and Computation of Reachable Sets for Hybrid Systems
