Search

Your search keyword '"Pappas, George J."' showing total 146 results

Search Constraints

Start Over You searched for: Author "Pappas, George J." Remove constraint Author: "Pappas, George J." Publication Type eBooks Remove constraint Publication Type: eBooks
146 results on '"Pappas, George J."'

Search Results

1. Optimal Multi-robot Perimeter Defense Using Flow Networks

5. Verification of Hybrid Systems

8. Active Deformable Part Models Inference

10. Trajectory Based Verification Using Local Finite-Time Invariance

11. Robust Test Generation and Coverage for Hybrid Systems

12. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

13. Robust Sampling for MITL Specifications

14. Robustness of Temporal Logic Specifications

15. Temporal Logic Verification Using Simulation

16. R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

17. Verification Using Simulation

19. Observability of Switched Linear Systems in Continuous Time

22. Hybrid Modeling and Simulation of Biomolecular Networks

24. Optimal Paths in Weighted Timed Automata

31. Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games

37. Hybrid Systems Applications: An Oxymoron?

38. Approximations of Discrete, Continuous, and Hybrid Systems

Catalog

Books, media, physical & digital resources