The following pages link to George Pappas (Q207162):
Displaying 50 items.
- Structural minimum controllability problem for switched linear continuous-time systems (Q518318) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Inferring stable genetic networks from steady-state data (Q665132) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks (Q694835) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- (Q832172) (redirect page) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Approximate reduction of dynamic systems (Q932129) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- Abstractions of Hamiltonian control systems. (Q1421436) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Random access design for wireless control systems (Q1641038) (← links)
- Hierarchical trajectory refinement for a class of nonlinear systems (Q1776424) (← links)
- A hybrid stochastic game for secure control of cyber-physical systems (Q1796984) (← links)
- O-minimal hybrid systems. (Q1975237) (← links)
- Risk verification of stochastic systems with neural network controllers (Q2093383) (← links)
- Finite-dimensional control of linear discrete-time fractional-order systems (Q2307529) (← links)
- A dynamical systems approach to weighted graph matching (Q2377984) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Bisimilar control affine systems (Q2503604) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- Statistical learning for analysis of networked control systems over unknown channels (Q2663884) (← links)
- Bisimulation relations for dynamical and control systems (Q2842819) (← links)
- Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control (Q2925507) (← links)
- Differentially Private Distributed Constrained Optimization (Q2979264) (← links)
- Opportunistic Control Over Shared Wireless Channels (Q2982463) (← links)
- Optimal Power Management in Wireless Control Systems (Q2983144) (← links)
- Differentially Private Filtering (Q2983257) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Resource constrained LQR control under fast sampling (Q2986739) (← links)
- Reputation-based networked control with data-corrupting channels (Q2986744) (← links)
- Compositional safety analysis using barrier certificates (Q2986748) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks (Q3384379) (← links)
- Robust Sampling for MITL Specifications (Q3510841) (← links)
- Temporal Logic Verification Using Simulation (Q3511234) (← links)
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (Q3612972) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- (Q4246819) (← links)
- (Q4246868) (← links)
- (Q4249569) (← links)
- Conflict resolution for air traffic management: a study in multiagent hybrid systems (Q4393077) (← links)
- (Q4418864) (← links)
- Hierarchically consistent control systems (Q4507184) (← links)
