146 results on '"Pappas, George J."'
Search Results
2. Dynamic Graphs, Connectivity of
3. Reinforcement Learning for Control Using Value Function Approximation
4. Secure Multi-party Computation for Cloud-Based Control
5. Verification of Hybrid Systems
6. Dynamic Graphs, Connectivity of
7. Maintaining Connectivity in Mobile Robot Networks
8. Active Deformable Part Models Inference
9. Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control
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
18. Flocking in Teams of Nonholonomic Agents
19. Observability of Switched Linear Systems in Continuous Time
20. Model Checking LTL over Controllable Linear Systems Is Decidable
21. Composing Abstractions of Hybrid Systems
22. Hybrid Modeling and Simulation of Biomolecular Networks
23. Semi-de1cidable Synthesis for Triangular Hybrid Systems
24. Optimal Paths in Weighted Timed Automata
25. Hybrid Abstractions that Preserve Timed Languages
26. Mode Switching Synthesis for Reachability Specifications
27. Accurate Event Detection for Simulating Hybrid Systems
28. Decidable Controller Synthesis for Classes of Linear Systems
29. Hybrid Systems with Finite Bisimulations
30. A New Class of Decidable Hybrid Systems
31. Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games
32. Exterior Differential Systems in Control and Robotics
33. An approach to the verification of the Center-TRACON automation system
34. Subanalytic stratifications and bisimulations
35. Advanced air traffic automation: A case study in distributed decentralized control
36. Towards continuous abstractions of dynamical and control systems
37. Hybrid Systems Applications: An Oxymoron?
38. Approximations of Discrete, Continuous, and Hybrid Systems
39. A Robust Method of Localization and Mapping Using Only Range
40. Saving Energy with Buoyancy and Balance Control for Underwater Robots with Dynamic Payloads
41. A Boosting Approach to Visual Servo-Control of an Underwater Robot
42. Simultaneous Localisation and Mapping and Dense Stereoscopic Seafloor Reconstruction Using an AUV
43. Preliminary Results for Model-Based Adaptive Control of an Autonomous Underwater Vehicle
44. Autonomous Autorotation of an RC Helicopter
45. A First-Estimates Jacobian EKF for Improving SLAM Consistency
46. Place Recognition Using Keypoint Similarities in 2D Lidar Maps
47. Visual Appearance Mapping for Optimal Vision Based Servoing
48. Bioinspired Jumping Locomotion in Small Robots: Natural Observation, Design, Experiments
49. Planning Support Contact-Points for Acyclic Motions and Experiments on HRP-2
50. A Physical Model for Dynamical Arthropod Running on Level Ground
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.