Search

Your search keyword '"Viswanathan, Mahesh"' showing total 10 results

Search Constraints

Start Over You searched for: Author "Viswanathan, Mahesh" Remove constraint Author: "Viswanathan, Mahesh" Topic hybrid system Remove constraint Topic: hybrid system
10 results on '"Viswanathan, Mahesh"'

Search Results

1. Parsimonious, Simulation Based Verification of Linear Systems

2. C2E2: A Verification Tool for Stateflow Models

3. Deciding Concurrent Planar Monotonic Linear Hybrid Systems

4. Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints

5. Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems

6. STORMED Hybrid Games

7. STORMED Hybrid Systems

8. A Decidable Class of Planar Linear Hybrid Systems

10. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Catalog

Books, media, physical & digital resources