George J. Pappas
#88,898
Most Influential Person Now
Electrical and Systems Engineer
George J. Pappas's AcademicInfluence.com Rankings
George J. Pappasengineering Degrees
Engineering
#2068
World Rank
#2902
Historical Rank
Systems Engineering
#15
World Rank
#15
Historical Rank
Electrical Engineering
#327
World Rank
#370
Historical Rank
Download Badge
Engineering
George J. Pappas's Degrees
- PhD Electrical Engineering University of California, Berkeley
- Masters Electrical Engineering University of California, Berkeley
- Bachelors Electrical Engineering University of California, Berkeley
Why Is George J. Pappas Influential?
(Suggest an Edit or Addition)George J. Pappas's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Flocking in Fixed and Switching Networks (2007) (1444)
- Conflict resolution for air traffic management: a study in multiagent hybrid systems (1998) (1194)
- Discrete abstractions of hybrid systems (2000) (886)
- Stable flocking of mobile agents, part I: fixed topology (2003) (783)
- Leader-to-formation stability (2004) (783)
- Temporal-Logic-Based Reactive Mission and Motion Planning (2009) (647)
- Stable flocking of mobile agents part I: dynamic topology (2003) (639)
- Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks (2015) (507)
- Cooperative air and ground surveillance (2006) (480)
- Approximation Metrics for Discrete and Continuous Systems (2006) (468)
- Robustness of temporal logic specifications for continuous-time signals (2009) (465)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (2007) (462)
- Temporal logic motion planning for dynamic robots (2009) (426)
- Distributed connectivity control of mobile networks (2007) (389)
- Graph-theoretic connectivity control of mobile robot networks (2011) (386)
- Symbolic planning and control of robot motion [Grand Challenges of Robotics] (2007) (378)
- ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks (2016) (374)
- Potential Fields for Maintaining Connectivity of Mobile Networks (2007) (353)
- Optimal Paths in Weighted Timed Automata (2001) (351)
- Probabilistic data association for semantic SLAM (2017) (347)
- Linear Time Logic Control of Discrete-Time Linear Systems (2006) (320)
- Differentially Private Filtering (2012) (306)
- Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks (2019) (276)
- Discrete abstractions for robot motion planning and control in polygonal environments (2005) (260)
- Symbolic Reachability Computation for Families of Linear Vector Fields (2001) (254)
- Where's Waldo? Sensor-Based Temporal Logic Motion Planning (2007) (238)
- A New Class of Decidable Hybrid Systems (1999) (237)
- Temporal Logic Motion Planning for Mobile Robots (2005) (234)
- Distributed multi-robot task assignment and formation control (2008) (225)
- Robustness of attack-resilient state estimators (2014) (219)
- Bisimilar linear systems (2003) (217)
- Flocking while preserving network connectivity (2007) (213)
- A Framework and Architecture for Multi-Robot Coordination (2000) (212)
- Hybrid Control for Connectivity Preserving Flocking (2009) (210)
- Optimal Resource Allocation for Network Protection Against Spreading Processes (2013) (203)
- Hierarchically consistent control systems (1998) (202)
- A distributed auction algorithm for the assignment problem (2008) (194)
- Hybrid Controllers for Path Planning: A Temporal Logic Approach (2005) (190)
- Differentially Private Distributed Constrained Optimization (2014) (189)
- Hierarchical modeling and analysis of embedded systems (2003) (188)
- Verisig: verifying safety properties of hybrid systems with neural network controllers (2018) (186)
- Minimal Actuator Placement With Bounds on Control Effort (2014) (185)
- The Wireless Control Network: A New Approach for Control Over Networks (2011) (184)
- Optimal vaccine allocation to control epidemic outbreaks in arbitrary networks (2013) (179)
- Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach (2015) (174)
- O-Minimal Hybrid Systems (2000) (167)
- Hierarchical control system design using approximate simulation (2009) (160)
- Vision-Based Localization for Leader–Follower Formation Control (2009) (158)
- High-confidence medical device software and systems (2006) (155)
- Optimal Power Management in Wireless Control Systems (2014) (155)
- Observability of Switched Linear Systems in Continuous Time (2005) (153)
- Controlling Connectivity of Dynamic Graphs (2005) (153)
- Self-triggered coordination of robotic networks for optimal deployment (2011) (153)
- Stochastic game approach for replay attack detection (2013) (153)
- Translating Structured English to Robot Controllers (2008) (152)
- Robust Test Generation and Coverage for Hybrid Systems (2007) (150)
- Differential privacy in control and network systems (2016) (150)
- Resilient Flocking for Mobile Robot Teams (2017) (150)
- Attack-Resilient State Estimation for Noisy Dynamical Systems (2017) (149)
- Decentralized active information acquisition: Theory and application to multi-robot SLAM (2015) (147)
- Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks (2016) (145)
- Generation of conflict resolution manoeuvres for air traffic management (1997) (143)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (2010) (142)
- Feasible formations of multi-agent systems (2001) (141)
- Approximations of Stochastic Hybrid Systems (2009) (141)
- Bisimulation relations for dynamical, control, and hybrid systems (2005) (138)
- Single Cell Manipulation using Ferromagnetic Composite Microtransporters (2010) (135)
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming (2019) (132)
- Approximating Explicit Model Predictive Control Using Constrained Neural Networks (2018) (131)
- Approximate Bisimulation: A Bridge Between Computer Science and Control Theory (2011) (130)
- Automated composition of motion primitives for multi-robot systems from safe LTL specifications (2014) (129)
- Electrokinetic and optical control of bacterial microrobots (2011) (128)
- Hybrid control in air traffic management systems (1995) (127)
- Approximate Simulation Relations for Hybrid Systems (2008) (125)
- Robustness of Temporal Logic Specifications (2006) (122)
- Hierarchical Hybrid Modeling of Embedded Systems (2001) (119)
- Individual Skill Progression on a Virtual Reality Simulator for Shoulder Arthroscopy (2008) (115)
- Optimal Resource Allocation for Control of Networked Epidemic Models (2017) (115)
- Verification Using Simulation (2006) (114)
- Flocking in Teams of Nonholonomic Agents (2003) (113)
- Dynamic Assignment in Distributed Motion Planning With Local Coordination (2008) (113)
- Compositional Modeling and Analysis of Multi-Hop Control Networks (2011) (112)
- Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks (2019) (110)
- Experimental cooperative control of fixed-wing unmanned aerial vehicles (2004) (109)
- Motion feasibility of multi-agent formations (2005) (107)
- Maintaining Connectivity in Mobile Robot Networks (2008) (103)
- Vision-based Localization of Leader-Follower Formations (2005) (103)
- Accurate Event Detection for Simulating Hybrid Systems (2001) (102)
- Approximate bisimulation relations for constrained linear systems (2007) (100)
- The Swarm at the Edge of the Cloud (2015) (99)
- On trajectory optimization for active sensing in Gaussian process models (2009) (98)
- Approximate Bisimulations for Nonlinear Dynamical Systems (2005) (97)
- Nonmyopic View Planning for Active Object Classification and Pose Estimation (2014) (97)
- Sensor placement for optimal Kalman filtering: Fundamental limits, submodularity, and algorithms (2015) (96)
- Finite Sample Analysis of Stochastic System Identification (2019) (96)
- Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators (2017) (95)
- Network Integrity in Mobile Robotic Networks (2013) (94)
- Stochastic safety verification using barrier certificates (2004) (94)
- Opportunistic Control Over Shared Wireless Channels (2015) (93)
- Model Checking LTL over Controllable Linear Systems Is Decidable (2003) (90)
- Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees (2019) (90)
- Tests of General Relativity with GWTC-3 (2021) (89)
- Modeling, control and experimental characterization of microbiorobots (2011) (89)
- Valet parking without a valet (2007) (88)
- Input-to-state stability on formation graphs (2002) (88)
- Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli (2008) (88)
- Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control (2007) (88)
- Consistent abstractions of affine control systems (2002) (86)
- Stochastic Source Seeking by Mobile Robots (2012) (85)
- Compositional safety analysis using barrier certificates (2012) (84)
- Information acquisition with sensing robots: Algorithms and error bounds (2013) (83)
- Anytime Planning for Decentralized Multirobot Active Information Gathering (2018) (82)
- The wireless control network: Monitoring for malicious behavior (2010) (77)
- Genetic network identification using convex programming. (2009) (77)
- Spectral mapping of brain functional connectivity from diffusion imaging (2018) (76)
- Bisimilar control affine systems (2002) (75)
- Privacy-aware quadratic optimization using partially homomorphic encryption (2016) (71)
- Receding-horizon supervisory control of green buildings (2011) (69)
- Temporal Logic Verification Using Simulation (2006) (69)
- Green scheduling of control systems for peak demand reduction (2011) (67)
- Con ict Resolution for Air Tra c Management: a Study in Multi-Agent Hybrid Systems (1997) (67)
- Coding sensor outputs for injection attacks detection (2014) (66)
- Cloud-Based MPC with Encrypted Data (2018) (65)
- Attack-resilient state estimation in the presence of noise (2015) (64)
- Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients (2021) (64)
- Semantic Localization Via the Matrix Permanent (2014) (63)
- Compositional Abstractions of Hybrid Control Systems (2001) (63)
- Geometric programming relaxations for linear system reachability (2004) (62)
- The swarm at the edge of the cloud - A new perspective on wireless (2011) (61)
- Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks (2014) (61)
- A next generation architecture for air traffic management systems (1997) (61)
- Inferring stable genetic networks from steady-state data (2011) (60)
- Conflict resolution for multi-agent hybrid systems (1996) (59)
- Multi-UAV Cooperative Surveillance with Spatio-Temporal Specifications (2006) (59)
- A hybrid stochastic game for secure control of cyber-physical systems (2018) (58)
- Resilient Active Target Tracking With Multiple Robots (2018) (56)
- Translating Temporal Logic to Controller Specifications (2006) (54)
- Model-Based Domain Generalization (2021) (54)
- Mode Switching Synthesis for Reachability Specifications (2001) (54)
- Approximate Bisimulations for Constrained Linear Systems (2005) (54)
- Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri (2001) (53)
- Localization from semantic observations via the matrix permanent (2016) (53)
- Robust Sampling for MITL Specifications (2007) (53)
- Modeling and Analysis of Multi-hop Control Networks (2009) (53)
- Adaptive Deployment of Mobile Robotic Networks (2013) (52)
- Attack resilient state estimation for autonomous robotic systems (2014) (52)
- A Study on Run Time Assurance for Complex Cyber Physical Systems (2013) (52)
- Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks (2015) (52)
- From structured english to robot motion (2007) (51)
- Distributed formation control with permutation symmetries (2007) (50)
- Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming (2017) (50)
- Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming (2020) (50)
- Stochastic source seeking in complex environments (2012) (49)
- Stabilization and tracking of feedback linearizable systems under input constraints (1995) (48)
- Topological conditions for wireless control networks (2011) (48)
- Modeling and analyzing biomolecular networks (2002) (47)
- Bisimulation Relations for Dynamical and Control Systems (2003) (47)
- SMC: Satisfiability Modulo Convex Optimization (2017) (47)
- Wireless manipulation of single cells using magnetic microtransporters (2011) (47)
- Hybrid Systems with Finite Bisimulations (1997) (47)
- Case study: verifying the safety of an autonomous racing car with a neural network controller (2019) (47)
- Optimality of the Laplace Mechanism in Differential Privacy (2015) (46)
- Online planning for energy-efficient and disturbance-aware UAV operations (2016) (46)
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (2007) (46)
- An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs (2006) (45)
- Adaptive Communication-Constrained Deployment of Unmanned Vehicle Systems (2012) (45)
- Differentially private convex optimization with piecewise affine objectives (2014) (44)
- Optimal Resource Allocation for Network Protection: A Geometric Programming Approach (2013) (44)
- Reachability computation for linear hybrid systems (1999) (44)
- Implan: Scalable Incremental Motion Planning for Multi-Robot Systems (2016) (44)
- Towards Continuous Abstractions of Dynamical and Control Systems (1996) (44)
- A Dynamical Systems Approach to Weighted Graph Matching (2006) (43)
- Approximate bisimulation for a class of stochastic hybrid systems (2006) (42)
- Quotients of Fully Nonlinear Control Systems (2005) (42)
- Identification of stable genetic networks using convex programming (2008) (42)
- Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption (2018) (42)
- Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges (2020) (42)
- Time-triggered implementations of dynamic controllers (2006) (42)
- Noncooperative Conflict Resolution (1997) (42)
- Information Driven Coordinated Air-Ground Proactive Sensing (2005) (41)
- Teaching recurrent neural networks to infer global temporal structure from local examples (2021) (41)
- Synergies in Feature Localization by Air-Ground Robot Teams (2004) (41)
- Data-Driven Robust Taxi Dispatch Under Demand Uncertainties (2016) (41)
- Sample Complexity of Kalman Filtering for Unknown Systems (2019) (40)
- Closing the loop: A simple distributed method for control over wireless networks (2012) (40)
- An Approach to the Verification of the Center-TRACON Automation System (1998) (40)
- Differentially private Kalman filtering (2012) (40)
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes* (2020) (40)
- Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering (2019) (39)
- Trajectory Based Verification Using Local Finite-Time Invariance (2009) (39)
- Periodic event-triggered average consensus over directed graphs (2015) (38)
- Resilient monotone submodular function maximization (2017) (38)
- Symbolic Planning and Control of Robot Motion: State of the Art and Grand Challenges (2007) (38)
- Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region Partitions (2017) (38)
- Cooperative Control of UAVs for Search and Coverage (2006) (38)
- Guest Editorial Special Issue on Control of Cyber-Physical Systems (2014) (38)
- Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes (2017) (37)
- LINEAR TIME LOGIC CONTROL OF LINEAR SYSTEMS (2004) (37)
- State Estimation with Secrecy against Eavesdroppers (2016) (37)
- Decidable Controller Synthesis for Classes of Linear Systems (2000) (37)
- Composing Abstractions of Hybrid Systems (2002) (37)
- Hybrid Control Models of Next Generarion AIr Traffic Management (1996) (37)
- Is the brain macroscopically linear? A system identification of resting state dynamics (2020) (37)
- Learning Operators with Coupled Attention (2022) (37)
- The Wireless Control Network: Synthesis and robustness (2010) (36)
- Coordination of Multiple Autonomous Vehicles (2003) (35)
- SMC: Satisfiability Modulo Convex Programming (2018) (35)
- Minimum cost constrained input-output and control configuration co-design problem: A structural systems approach (2015) (35)
- Topological Conditions for In-Network Stabilization of Dynamical Systems (2013) (35)
- Minimum number of sensors to ensure observability of physiological systems: A case study (2016) (35)
- Minimal actuator placement with optimal control constraints (2015) (35)
- Symbolic Planning and Control of Robot Motion Finding the Missing Pieces of Current Methods and Ideas (34)
- Courteous Cars (2008) (34)
- Calibration-Free Network Localization Using Non-line-of-sight Ultra-wideband Measurements (2017) (34)
- Hypothesis testing framework for active object detection (2013) (34)
- Random access design for wireless control systems (2016) (34)
- Advanced air traffic automation : A case study in distributed decentralized control (1998) (33)
- Hybrid Systems: Computation and Control (2004) (33)
- A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks (2012) (33)
- Verifying the Safety of Autonomous Systems with Neural Network Controllers (2020) (33)
- Near-optimal sensor scheduling for batch state estimation: Complexity, algorithms, and limits (2016) (33)
- Joint estimation and localization in sensor networks (2014) (32)
- Approximate reduction of dynamic systems (2008) (32)
- Abstractions of Hamiltonian control systems (2001) (32)
- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems (2006) (32)
- Gradual Release of Sensitive Data under Differential Privacy (2015) (31)
- Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming (2019) (31)
- Minimal Edge Addition for Network Controllability (2019) (31)
- Approximate equivalence and synchronization of metric transition systems (2009) (31)
- Scalable lazy SMT-based motion planning (2016) (31)
- Courteous Cars Decentralized Multiagent Traffic Coordination (2008) (31)
- From discrete specifications to hybrid control (2003) (31)
- Automatically synthesizing a planning and control subsystem for the DARPA urban challenge (2008) (30)
- Stability analysis of generalized epidemic models over directed networks (2014) (30)
- Minimum number of probes for brain dynamics observability (2015) (30)
- Constraints on the cosmic expansion history from GWTC-3 (2021) (30)
- Scalable scheduling algorithms for wireless networked control systems (2009) (30)
- Green scheduling: Scheduling of control systems for peak power reduction (2011) (29)
- Semi-decidable Synthesis for Triangular Hybrid Systems (2001) (29)
- Models of communication and control for brain networks: distinctions, convergence, and future outlook (2020) (29)
- Sequential composition of robust controller specifications (2012) (29)
- Hierarchical trajectory refinement for a class of nonlinear systems (2005) (29)
- Control-Aware Random Access Communication (2016) (29)
- Automatic synthesis of robot controllers for tasks with locative prepositions (2010) (29)
- Hybrid Control in Air Traac Management Systems (1995) (29)
- Resilient Active Information Gathering with Mobile Robots (2018) (29)
- Data-Driven Network Resource Allocation for Controlling Spreading Processes (2015) (29)
- Decidable Hybrid Systems (1998) (29)
- LQG Control and Sensing Co-Design (2018) (29)
- Learning Lyapunov Functions for Hybrid Systems (2020) (28)
- Finite bisimulations of controllable linear systems (2003) (28)
- Approximate Reduction of Dynamical Systems (2006) (28)
- Biosensing and actuation for microbiorobots (2010) (28)
- Stability of Flocking Motion (2003) (28)
- Privacy in Control and Dynamical Systems (2018) (28)
- Trade-offs between driving nodes and time-to-control in complex networks (2017) (27)
- From nonlinear to Hamiltonian via feedback (2002) (27)
- State-Secrecy Codes for Networked Linear Systems (2017) (27)
- Decidability of Motion Planning with Differential Constraints (2007) (27)
- Encrypted Cooperative Control Revisited (2019) (27)
- 2 1/2 D conflict resolution maneuvers for ATMS (1998) (27)
- Multi-agent coordination with asynchronous cloud access (2016) (27)
- UAV and UGV Collaboration for Active Ground Feature Search and Localization (2004) (27)
- Bounded Model Checking of Hybrid Dynamical Systems (2005) (27)
- Hierarchical trajectory generation for a class of nonlinear systems (2003) (27)
- Sensor-based robot deployment algorithms (2010) (27)
- Hierarchical Control using Approximate Simulation Relations (2006) (27)
- Noncooperative conflict resolution [air traffic management] (1997) (26)
- Scalable scheduling of building control systems for peak demand reduction (2012) (26)
- Resilient Non-Submodular Maximization over Matroid Constraints (2018) (26)
- Multi-vehicle path planning in dynamically changing environments (2009) (26)
- Mobility & routing control in networks of robots (2010) (25)
- Self-triggered time-varying convex optimization (2016) (25)
- Post-Tolman-Oppenheimer-Volkoff formalism for relativistic stars (2015) (25)
- Harnessing bacterial power in microscale actuation (2009) (25)
- Stabilization of non-holonomic vehicles under kinematic constraints (1995) (24)
- Cooperative Air and Ground Surveillance A Scalable Approach to the Detection and Localization of Targets by a Network of UAVs and UGVs (2006) (24)
- Model-Based Robust Deep Learning (2020) (24)
- Decentralized Air Traffic Management Systems: Performance and Fault Tolerance (1998) (24)
- All-sky search for gravitational wave emission from scalar boson clouds around spinning black holes in LIGO O3 data (2021) (24)
- The mean square error in Kalman filtering sensor selection is approximately supermodular (2017) (23)
- Hybrid control for visibility-based pursuit-evasion games (2004) (23)
- Event-based Green scheduling of radiant systems in buildings (2013) (23)
- Real-time privacy-preserving model-based estimation of traffic flows (2014) (23)
- The effect of feedback and feedforward on formation ISS (2002) (23)
- Optimal temporal logic planning in probabilistic semantic maps (2015) (23)
- Active Deformable Part Models Inference (2014) (22)
- An Optimization-based Approach to Time Critical Cooperative Surveillance and Coverage with Unmanned Aerial Vehicles (2006) (22)
- Stability Properties of Interconnected Vehicles (2002) (22)
- Hierarchies of stabilizability preserving linear systems (2001) (22)
- Approximate equivalence and approximate synchronization of metric transition systems (2006) (21)
- Hierarchical data-driven vehicle dispatch and ride-sharing (2017) (21)
- Learning in Wireless Control Systems Over Nonstationary Channels (2018) (21)
- Selecting Sensors in Biological Fractional-Order Systems (2018) (21)
- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning (2021) (21)
- Distributed control of mobility & routing in networks of robots (2011) (21)
- Distributed Attack-Robust Submodular Maximization for Multi-Robot Planning (2019) (21)
- State-based communication design for wireless control systems (2016) (21)
- Linear Systems can be Hard to Learn (2021) (20)
- Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments (2020) (20)
- On the existence of compositional barrier certificates (2012) (20)
- Probabilistic testing for stochastic hybrid systems (2008) (20)
- Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles (2004) (20)
- Structural Target Controllability of Undirected Networks (2018) (20)
- Achieving Linear Convergence in Federated Learning under Objective and Systems Heterogeneity (2021) (20)
- Minimal Reachability is Hard To Approximate (2017) (20)
- Structural minimum controllability problem for switched linear continuous-time systems (2015) (20)
- Coordination of multi-agent systems via asynchronous cloud communication (2016) (20)
- Reactive Semantic Planning in Unexplored Semantic Environments Using Deep Perceptual Feedback (2020) (20)
- Adversarial Robustness with Semi-Infinite Constrained Learning (2021) (20)
- Diffusing private data over networks (2015) (19)
- Secure Multi-party Computation for Cloud-based Control (2019) (19)
- A Unifying View of Geometry, Semantics, and Data Association in SLAM (2018) (19)
- Verification of Hybrid Systems (2018) (19)
- Dynamic Assignment in Distributed Motion Planning with Limited Information (2007) (19)
- Model-Based Robust Deep Learning: Generalizing to Natural, Out-of-Distribution Data. (2020) (19)
- Searches for Gravitational Waves from Known Pulsars at Two Harmonics in the Second and Third LIGO-Virgo Observing Runs (2021) (19)
- Resource constrained LQR control under fast sampling (2011) (19)
- Minimal reachability problems (2015) (18)
- SIMULATION RELATIONS FOR DISCRETE-TIME LINEAR SYSTEMS (2002) (18)
- Scheduling nonlinear sensors for stochastic process estimation (2016) (18)
- Event-based information-theoretic privacy: A case study of smart meters (2016) (18)
- Encrypted LQG using labeled homomorphic encryption (2019) (18)
- Greedy control for hybrid pursuit games (2001) (18)
- State estimation codes for perfect secrecy (2017) (18)
- Online Learning of the Kalman Filter With Logarithmic Regret (2020) (18)
- Distributed topology control of dynamic networks (2008) (17)
- Exploiting Heterogeneity in Robust Federated Best-Arm Identification (2021) (17)
- Geometric programming and mechanism design for air traffic conflict resolution (2010) (17)
- Differential privacy for dynamical sensitive data (2017) (17)
- Hybrid systems: computation and abstraction (1998) (17)
- Cooperative coverage using receding horizon control (2007) (17)
- Optimal resource allocation for competing epidemics over arbitrary networks (2015) (17)
- Joint Metering and Conflict Resolution in Air Traffic Control (2011) (17)
- Special Section on Symbolic Methods for Complex Control Systems (2006) (16)
- Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games (2007) (16)
- Hybrid Abstractions that Preserve Timed Languages (2001) (16)
- Consistent hierarchies of nonlinear abstractions (2000) (16)
- Modeling and feedback control of nonholonomic mobile vehicles (1992) (16)
- Risk-Constrained Linear-Quadratic Regulators (2020) (16)
- Avoiding saturation by trajectory reparameterization (1996) (16)
- Robust taxi dispatch under model uncertainties (2015) (15)
- Information Theoretic Active Exploration in Signed Distance Fields (2020) (15)
- Network design for controllability metrics (2017) (14)
- Learning Region of Attraction for Nonlinear Systems (2021) (14)
- S.O.S. for safety (2004) (14)
- Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks: Technical Report (2014) (14)
- On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (2011) (14)
- Subanalytic Stratifications and Bisimulations (1998) (14)
- SmartATMS: a simulator for air traffic management systems (1997) (14)
- Semidecidable controller synthesis for classes of linear hybrid systems (2000) (14)
- Approximate hierarchies of linear control systems (2007) (14)
- Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004: Proceedings (Lecture Notes in Computer Science, 2993) (2004) (14)
- Safe Pontryagin Differentiable Programming (2021) (14)
- First joint observation by the underground gravitational-wave detector, KAGRA, with GEO600 (2022) (14)
- Robust stability of multi-hop control networks (2009) (14)
- Adaptive Partitioning for Coordinated Multi-agent Perimeter Defense (2020) (14)
- Analysis and Design of Actuation–Sensing–Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems (2015) (13)
- All-sky search for continuous gravitational waves from isolated neutron stars using Advanced LIGO and Advanced Virgo O3 data (2022) (13)
- Dynamic Modelling and Tracking Control of Nonholonomic Wheeled Vehicles (1993) (13)
- Privacy preserving cloud-based quadratic optimization (2017) (13)
- State-Secrecy Codes for Stable Systems (2018) (13)
- Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings (2004) (13)
- Approximate timed abstractions of hybrid automata (2007) (13)
- Learning Q-network for Active Information Acquisition (2019) (13)
- Learning Lyapunov Functions for Piecewise Affine Systems with Neural Network Controllers (2020) (13)
- Hybrid Control in Air Traffic Management Systems 1 (1996) (13)
- A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas–Rachford Splitting (2019) (13)
- Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees (2020) (13)
- Distributed control of the Laplacian spectral moments of a network (2010) (12)
- Active Object Recognition via Monte Carlo Tree Search (2015) (12)
- Unifying bisimulation relations for discrete and continuous systems (2002) (12)
- An approximately truthful mechanism for electric vehicle charging via joint differential privacy (2015) (12)
- Metabolic networks analysis using convex optimization (2008) (12)
- Distributed leader selection (2015) (12)
- Sensing-Constrained LQG Control (2017) (12)
- Statistical Learning Theory for Control: A Finite Sample Perspective (2022) (12)
- Scalable Reinforcement Learning Policies for Multi-Agent Control (2020) (12)
- Robust estimation using context-aware filtering (2015) (12)
- Nonholonomic source seeking in switching random fields (2010) (12)
- Global space-based ground surveillance: Mission utility and performance of Discoverer II (2000) (12)
- Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications (2020) (12)
- Distributed resource allocation for control of spreading processes (2015) (11)
- Time-Robust Control for STL Specifications (2021) (11)
- Controllability and fraction of leaders in infinite networks (2014) (11)
- Robustness analysis for the certification of digital controller implementations (2010) (11)
- Zeroth-order Deterministic Policy Gradient (2020) (11)
- Differentially private distributed protocol for electric vehicle charging (2014) (11)
- Model-based design for seizure control by stimulation (2020) (11)
- Green scheduling for radiant systems in buildings (2012) (11)
- Safe Planning in Dynamic Environments using Conformal Prediction (2022) (11)
- Resilient Monotone Sequential Maximization (2018) (11)
- A general class of spreading processes with non-Markovian dynamics (2015) (11)
- Multi-modal control of systems with constraints (2001) (11)
- Optimal Algorithms for Submodular Maximization with Distributed Constraints (2019) (11)
- Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps (2019) (11)
- A National Research Agenda for Intelligent Infrastructure (2017) (11)
- Automatic verification of linear controller software (2015) (11)
- Sensor-Based Dynamic Assignment in Distributed Motion Planning (2007) (10)
- Joint Control of Mobility and Communications in Networks of Robots (2010) (10)
- Maximum Information Bounds for Planning Active Sensing Trajectories (2019) (10)
- Perception-Based Temporal Logic Planning in Uncertain Semantic Maps (2020) (10)
- Approximate Supermodularity of Kalman Filter Sensor Selection (2019) (10)
- Robust and Adaptive Sequential Submodular Optimization (2019) (10)
- Self-triggered pursuit of a single evader (2015) (10)
- Distributed Resource Allocation for Epidemic control (2015) (10)
- Accurately Predicting Functional Connectivity from Diffusion Imaging (2015) (10)
- Reactive and Risk-Aware Control for Signal Temporal Logic (2021) (10)
- Cyclic directed formations of multi-agent systems (2001) (10)
- Privacy-preserving release of aggregate dynamic models (2013) (10)
- Wireless Control for the IoT: Power, Spectrum, and Security Challenges: Poster Abstract (2017) (10)
- Privacy in Information-Rich Intelligent Infrastructure (2017) (10)
- Verification of temporal properties on hybrid automata by simulation relations (2007) (10)
- Computation of privacy-preserving prices in smart grids (2014) (10)
- Reachability analysis of hybrid systems using bisimulations (1998) (10)
- Quantifying the gap between embedded control models and time-triggered implementations (2005) (10)
- Sparsest Minimum Multiple-Cost Structural Leader Selection (2015) (10)
- Exterior Differential Systems in Control and Robotics (1998) (10)
- Static output feedback: On essential feasible information patterns (2015) (10)
- Latency-Reliability Tradeoffs for State Estimation (2018) (9)
- Optimal power management in wireless control systems (2013) (9)
- Optimal resource allocation for containing epidemics on time-varying networks (2015) (9)
- Controlling biological systems: the lactose regulation system of Escherichia coli (2007) (9)
- Flocking Agents with Varying Interconnection Topology (2004) (9)
- Bio-inspired strategy for control of viral spreading in networks (2013) (9)
- Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control (2013) (9)
- NOMAD: Nonlinear Manifold Decoders for Operator Learning (2022) (9)
- A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems (2015) (9)
- Probabilistically Robust Learning: Balancing Average- and Worst-case Performance (2022) (9)
- Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli (2006) (9)
- Greedy Control for Hybrid Pursuit-Evasion GamesJo (2001) (9)
- Control with random access wireless sensors (2015) (9)
- Abstractions of constrained linear systems (2003) (9)
- Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach (2010) (9)
- Reputation-based networked control with data-corrupting channels (2011) (9)
- Annual Review of Control , Robotics , and Autonomous Systems Privacy in Control and Dynamical Systems (2018) (9)
- Location-dependent privacy (2016) (9)
- STL Robustness Risk over Discrete-Time Stochastic Processes (2021) (9)
- Optimal Multi-robot Perimeter Defense Using Flow Networks (2021) (8)
- Opportunistic scheduling of control tasks over shared wireless channels (2014) (8)
- Spectral control of cortical activity (2017) (8)
- Nonmyopic View Planning for Active Object Detection (2013) (8)
- Control and Sensing Co-design (2018) (8)
- Stable multi-particle systems and application in multi-vehicle path planning and coverage (2007) (8)
- Generation of Con ict Resolution Maneuvers for Air Tra cManagement (1997) (8)
- Stochastic Motion Planning Under Partial Observability for Mobile Robots With Continuous Range Measurements (2020) (8)
- Virgo Detector Characterization and Data Quality during the O3 run (2022) (8)
- Structural analysis and design of dynamic-flow networks: Implications in the brain dynamics (2016) (8)
- Learning to Track Dynamic Targets in Partially Known Environments (2020) (8)
- Power-aware communication for wireless sensor-actuator systems (2013) (8)
- Inference, prediction and control of networked epidemics (2017) (8)
- Nonlinear state-space identification using deep encoder networks (2021) (8)
- Finite-dimensional control of linear discrete-time fractional-order systems (2019) (8)
- Statistical Learning for Analysis of Networked Control Systems over Unknown Channels (2019) (8)
- Learning in Non-Stationary Wireless Control Systems via Newton's Method (2018) (8)
- Wireless control networks: modeling, synthesis, robustness,security (2011) (8)
- Better Safe Than Sorry: Risk-Aware Nonlinear Bayesian Estimation (2020) (8)
- A duality approach to path planning for multiple robots (2010) (8)
- Private Weighted Sum Aggregation (2020) (8)
- Model-Free Learning of Optimal Ergodic Policies in Wireless Systems (2019) (7)
- Do Deep Networks Transfer Invariances Across Classes? (2022) (7)
- Adaptive Conformal Prediction for Motion Planning among Dynamic Agents (2022) (7)
- Fair Robust Assignment Using Redundancy (2021) (7)
- Dense 3-D Mapping with Spatial Correlation via Gaussian Filtering (2018) (7)
- Resilient Active Information Acquisition With Teams of Robots (2021) (7)
- Time-Triggered Implementations of Dynamic Controllers (2012) (7)
- Temporal Robustness of Stochastic Signals (2022) (7)
- Verisig (2019) (7)
- Towards synthesis of platform-aware attack-resilient control systems: extended abstract (2013) (7)
- Transforming high level tasks to low level controllers (2008) (7)
- Recycling controllers (2008) (7)
- Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces Technical Report MS-CIS-0605 May , 2006 (2007) (7)
- Decentralized observability with limited communication between sensors (2016) (7)
- From Reactive to Cognitive Agents: Extending Reinforcement Learning to Generate Symbolic Knowledge Bases (2013) (7)
- FORMATION INPUT-TO-STATE STABILITY (2002) (7)
- Consensus of Multiagent Systems Via Asynchronous Cloud Communication (2020) (7)
- Learning to Control Linear Systems can be Hard (2022) (6)
- Towards Private Data-driven Control (2020) (6)
- A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization (2018) (6)
- Sampling-based planning for non-myopic multi-robot information gathering (2021) (6)
- Sample Complexity of Networked Control Systems Over Unknown Channels (2018) (6)
- Stabilizability over deterministic relay networks (2013) (6)
- Scalable Motion Planning Using Lazy SMT-Based Solving (2016) (6)
- Straightening out rectangular differential inclusions (1998) (6)
- A novel learning based segmentation method for rodent brain structures using MRI (2008) (6)
- Unit & dynamic typing in hybrid systems modeling with CHARON (2006) (6)
- The Virgo O3 run and the impact of the environment (2022) (6)
- Encrypted Distributed Lasso for Sparse Data Predictive Control (2021) (6)
- Decentralized Channel Access for Wireless Control Systems (2015) (6)
- Non-Monotone Energy-Aware Information Gathering for Heterogeneous Robot Teams (2021) (6)
- Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events (2018) (6)
- Estimation of Blood Oxygen Content Using Context-Aware Filtering (2016) (6)
- Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments (2020) (6)
- Online Federated Learning (2021) (6)
- Adaptive communication-constrained deployment of mobile robotic networks (2012) (6)
- Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems (2021) (6)
- Path planning for multiple robots: An alternative duality approach (2010) (6)
- Search for gravitational waves from Scorpius X-1 with a hidden Markov model in O3 LIGO data (2022) (5)
- Private Weighted Sum Aggregation for Distributed Control Systems (2020) (5)
- Assumed Density Filtering Q-learning (2017) (5)
- Hybrid model predictive control of induction of Escherichia coli (2007) (5)
- Data-Driven Robust Taxi Dispatch Approaches (2016) (5)
- Probable Domain Generalization via Quantile Risk Minimization (2022) (5)
- Experimental Robotics: The Eleventh International Symposium (2009) (5)
- Distributed Attack-Robust Submodular Maximization for Multirobot Planning (2022) (5)
- Galvanotactic Control of Self-Powered Microstructures (2008) (5)
- SELF-TRAPPING OF DISKOSEISMIC CORRUGATION MODES IN NEUTRON STAR SPACETIMES (2015) (5)
- Network synthesis for dynamical system stabilization (2011) (5)
- A User Guide for TaLiRo (2008) (5)
- Continuous Estimation Using Context-Dependent Discrete Measurements (2019) (5)
- A column generation approach for optimized routing and coordination of a UAV fleet (2016) (5)
- Multi-agent hybrid system simulation (2001) (5)
- Linear Quadratic Control with Risk Constraints (2021) (5)
- Design and Implementation of Attack-Resilient Cyber-Physical Systems (2016) (5)
- Source Seeking in Unknown Environments with Convex Obstacles (2019) (5)
- Data-Driven Allocation of Vaccines for Controlling Epidemic Outbreaks (2014) (5)
- Robot deployment with end-to-end communication constraints (2011) (5)
- Non-Cooperative Distributed MPC with Iterative Learning (2020) (5)
- Distributed leader selection in switching networks of high-order integrators (2017) (4)
- Multi-owner multi-user privacy (2016) (4)
- Search for continuous gravitational wave emission from the Milky Way center in O3 LIGO-Virgo data (2022) (4)
- A Robust Moment Closure for General Continuous-time Epidemic Processes (2018) (4)
- An Information Matrix Approach for State Secrecy (2018) (4)
- Hybrid Control Models of next Generation Air Traac Management ? (1997) (4)
- Vision-based Localization and Control of Leader-Follower Formations (2008) (4)
- MTL robust testing and verification for LPV systems (2009) (4)
- Symbolic Control and Planning of Robotic Motion (Grand Challenges of Robotics) (2007) (4)
- A Simple Distributed Method for Control over Wireless Networks (2011) (4)
- Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design (2022) (4)
- Flying Hot Potatoes (2002) (4)
- Motion Planning with Secrecy (2019) (4)
- Data-driven control on encrypted data (2020) (4)
- Resource allocation for signal detection with active sensors (2009) (4)
- Control of Generalized Discrete-Time SIS Epidemics via Submodular Function Minimization (2018) (4)
- Linear Stochastic Bandits over a Bit-Constrained Channel (2022) (4)
- Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks (2022) (4)
- Subanalytic Stratiications and Bisimulations ? (1998) (4)
- On the limited communication analysis and design for decentralized estimation (2017) (4)
- Coordinated perception by teams of aerial and ground robots (2004) (4)
- Diffusing Private Data Over Networks (2018) (4)
- Harnessing Bacterial Power for Micro scale Manipulation and Locomotion (2008) (4)
- Smart building: a private cyber-physical system approach (2015) (4)
- Toward Certified Robustness Against Real-World Distribution Shifts (2022) (4)
- N-Dimensional Distributed Network Localization with Noisy Range Measurements and Arbitrary Anchor Placement (2019) (4)
- Gradually Releasing Private Data under Differential Privacy (2015) (4)
- Combined Left and Right Temporal Robustness for Control Under STL Specifications (2023) (4)
- Distributed Sampling-based Planning for Non-Myopic Active Information Gathering (2021) (4)
- : Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events (2023) (4)
- Robust Motion Planning in the Presence of Estimation Uncertainty (2021) (4)
- Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks (2010) (4)
- Conformal Prediction for STL Runtime Verification (2022) (4)
- Learning Statistically Accurate Resource Allocations in Non-Stationary Wireless Systems (2018) (3)
- A framework for integrating mobility and routing in mobile communication networks (2011) (3)
- MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology (2017) (3)
- Multi-robot Mission Planning in Dynamic Semantic Environments (2022) (3)
- Deterministic Bounding Systems for Stochastic Compartmental Spreading Processes (2015) (3)
- Online Learning-Based Trajectory Tracking for Underactuated Vehicles With Uncertain Dynamics (2020) (3)
- Quantification on the efficiency gain of automated ridesharing services (2017) (3)
- Risk-Aware MMSE Estimation (2019) (3)
- Search for subsolar-mass black hole binaries in the second part of Advanced LIGO’s and Advanced Virgo’s third observing run (2022) (3)
- 3D segmentation of rodent brains using deformable models and variational methods (2009) (3)
- An Introduction to Neural Network Analysis via Semidefinite Programming (2021) (3)
- Opportunistic sensor scheduling in wireless control systems (2014) (3)
- Resilient Adaptive Control with Application to Vehicle Cruise Control (2013) (3)
- Analysis and Design of Secured/Resilient Closed-loop Control Systems (2015) (3)
- Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps (2020) (3)
- Open data from the third observing run of LIGO, Virgo, KAGRA and GEO (2023) (3)
- Elastic multi-particle systems for bounded-curvature path planning (2008) (3)
- Connectivity of Dynamic Graphs (2015) (3)
- Battery management for control systems with energy harvesting sensors (2017) (3)
- Resilient Structural Stabilizability of Undirected Networks (2018) (3)
- Adaptive Robot Deployment Algorithms (2010) (3)
- Discrete-time fractional-order multiple scenario-based sensor selection (2017) (3)
- A distributed dynamical scheme for fastest mixing Markov chains (2009) (3)
- Discrete synchronization of hybrid systems (2002) (3)
- Actor-only Deterministic Policy Gradient via Zeroth-order Gradient Oracles in Action Space (2021) (3)
- Virgo Detector Characterization and Data Quality: results from the O3 run (2022) (3)
- Distributed Statistical Min-Max Learning in the Presence of Byzantine Agents (2022) (2)
- Self-triggered Pursuit of a Single Evader with Uncertain Information (2015) (2)
- Hybrid abstractions: A search and rescue case study (2001) (2)
- Risk of Stochastic Systems for Temporal Logic Specifications (2022) (2)
- Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece (2009) (2)
- Poster Abstract: Wireless Control for the IoT: Power, Spectrum, and Security Challenges (2017) (2)
- Active Deformable Part Models (2014) (2)
- Networked realization of discrete-time controllers (2013) (2)
- Platform-Independent Autonomy Modeling (2004) (2)
- Approximate Simulation Relations for Hybrid Systems11This research is partially supported by the Région Rhône-Alpes (Projet CalCel) and the NSF Presidential Early CAREER (PECASE) Grant 0132716. (2006) (2)
- The Wireless Control Network : Topological Conditions for System Stabilization (2011) (2)
- Noncooperative Connict Resolution (1997) (2)
- On the Structural Target Controllability of Undirected Networks (2021) (2)
- Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems (2013) (2)
- Model-based Cross-correlation Search for Gravitational Waves from the Low-mass X-Ray Binary Scorpius X-1 in LIGO O3 Data (2022) (2)
- Private Convex Optimization with Piecewise Ane Objectives (2014) (2)
- Robust Prediction and Control of Continuous-time Epidemic Processes (2017) (2)
- Embedding the Concurrent Autonomous Agent into a Humanoid Robot* (2015) (2)
- Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems (2015) (2)
- Robust Localization Using Context-Aware Filtering (2015) (2)
- Myopic Policy Bounds for Information Acquisition POMDPs (2016) (2)
- InferringStableGeneticNetworks fromSteady-StateData ? (2010) (2)
- Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (2012) (2)
- Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information (2022) (2)
- Tuning Communication Latency for Distributed Model Predictive Control (2019) (2)
- Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run (2022) (2)
- Robust Federated Best-Arm Identification in Multi-Armed Bandits (2021) (2)
- MODELING, SPECIFICATION AND SAFETY ANALYSIS OF CTAS. (1997) (1)
- Scenario-Based Model Predictive Control for Energy Harvesting Actuators (2018) (1)
- A Zeroth-Order Learning Algorithm for Ergodic Optimization of Wireless Systems with no Models and no Gradients (2020) (1)
- Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior (2022) (1)
- Teaching Recurrent Neural Networks to Modify Chaotic Memories by Example (2020) (1)
- Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds (2022) (1)
- From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells (2008) (1)
- Temporal Logic Verific ation Using Simulation (2006) (1)
- Corrigendum: Trade-offs between driving nodes and time-to-control in complex networks (2017) (1)
- Deep Reinforcement Learning for Active Target Tracking (2021) (1)
- HMM-based characterization of channel behavior for networked control systems (2012) (1)
- Adaptive Stochastic MPC under Unknown Noise Distribution (2022) (1)
- Federated Learning with Incrementally Aggregated Gradients (2021) (1)
- Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty (2022) (1)
- Autoencoder-driven Spiral Representation Learning for Gravitational Wave Surrogate Modelling (2021) (1)
- Flocks of Autonomous Mobile Agents (2003) (1)
- Optimization of Switched Linear Systems Over Non-Stationary Wireless Channels (2018) (1)
- The absence of spherical photon orbits as a diagnostic of non-Kerr spacetimes (2018) (1)
- Time-Varying Network Models of Neurodegenerative Disease Spread in Biological Neural Networks (2013) (1)
- Compositional Abstractions of Hybrid Control Systems 1 (2001) (1)
- BISIMULATIONS OF DISCRETE, CONTINUOUS AND HYBRID SYSTEMS (2011) (1)
- Virgo Detector Characterization and Data Quality: tools (2022) (1)
- Hybrid Systems Applications: An Oxymoron? (2001) (1)
- Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR) (2022) (1)
- O C ] 1 7 M ar 2 01 7 DECENTRALIZED OBSERVABILITY WITH LIMITED COMMUNICATION BETWEEN SENSORS (2018) (1)
- Architecture for a fully distributed Wireless Control Network (2011) (1)
- Adversarial Information Acquisition (2018) (1)
- Value of forecasts in planning under uncertainty: Extended version (2015) (1)
- Scalable Active Information Acquisition for Multi-Robot Systems (2021) (1)
- Stability of Control Systems with Feedback from Energy Harvesting Sensors (2017) (1)
- Power-aware communication for wireless sensor-actuator system s: Extended version (2013) (1)
- An Innovatory Surgical Technique for Submacular Hemorrhage Displacement by Means of a Bioengineering Perspective (2021) (1)
- Flying hot potatoes [air traffic management] (2002) (1)
- Robust and Efficient Semantic SLAM with Semantic Keypoints (2020) (1)
- Parameter Synthesis In Robot Motion Planning Using Symbolic Reachability Computations (2000) (1)
- Graph Neural Networks for Multi-Robot Active Information Acquisition (2022) (1)
- Resilient Monotone Submodular Maximization (2017) (1)
- Microfabricated Structures Powered by Flagellated Bacteria (2007) (1)
- Network Design for Controllability Metrics (2020) (1)
- Discrete Abstraction of Stochastic Nonlinear Systems (2014) (1)
- Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps (2020) (1)
- Stable Flocking of Mobile Agents Pat 11: Dynamic Topology WeMOl-2 (2003) (1)
- Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems (2021) (1)
- Segmentation of rodent brains from MRI based on a novel statistical structure prediction method (2009) (1)
- Outcomes of Arthroscopic All-Inside Meniscal Root Repair vs. Observation in Older Patients (2021) (0)
- ApproximateBisimulationRelations for ConstrainedLinear Systems ? (2006) (0)
- Composing Abstra tions of Hybrid (2006) (0)
- Learning to Control over Unknown Wireless Channels (2020) (0)
- Secure state estimation over Markov wireless communication channels (2022) (0)
- Multimedia applications in management and ITM curriculum (1994) (0)
- Robotics in the AI era: A vision for a Hellenic Robotics Initiative (2021) (0)
- Joint Metering and Con fl ict Resolution in Air Traf fi c Control (2011) (0)
- Controlling Connectivity of Dynamic Graphs Controlling Connectivity of Dynamic Graphs (2021) (0)
- Dynamic Graphs, Connectivity of (2020) (0)
- Approximation of network linear operators using similarity shift filters (2016) (0)
- Conformal Prediction Regions for Time Series using Linear Complementarity Programming (2023) (0)
- ScholarlyCommons Departmental Papers ( CIS ) Department of Computer & Information Science August 2004 Platform-Independent Autonomy Modeling (2015) (0)
- Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots (2012) (0)
- Approximate Bisimulations for Nonlinear (2005) (0)
- CDC 01-REG 1559 Stability and reachability analysis of a hybrid modelof luminescence in the marine bacterium Vibrio (2001) (0)
- Federated Temporal Difference Learning with Linear Function Approximation under Environmental Heterogeneity (2023) (0)
- Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams (2022) (0)
- Discrete synchronization of hybrid (2002) (0)
- Parsing spatiotemporal dynamical stability in ECoG during seizure onset, propagation, and termination (2017) (0)
- Modeling, Control and Experimental Characterization of Microbiorobots Modeling, Control and Experimental Characterization of Microbiorobots (2011) (0)
- Black hole mass and spin measurements through the Relativistic Precession Model: XTE J1859+226 (2022) (0)
- Certified Invertibility in Neural Networks via Mixed-Integer Programming (2023) (0)
- Bisimilar Hybrid Systems (2003) (0)
- SmartATMS (1997) (0)
- FEASIBLE FORMATIONS OF MULTI-AGENT SYSTEMSPAULO TABUADA (2001) (0)
- Robust Stability of Multi-Hop Networks (2021) (0)
- Robust Object-Level Semantic Visual SLAM Using Semantic Keypoints (2022) (0)
- LARGE SCALE SYSTEM ISSUES IN AUTOMATED HIGHWAY AND AIR TRAFFIC MANAGEMENT SYSTEMS (1998) (0)
- Hybrid Control and Transport Using Bacteria-Driven Microbiorobots (2009) (0)
- SWARMS: Scalable sWarms of Autonomous Robots and Mobile Sensors (2013) (0)
- Range-Only Localization in n-Dimensional Networks With Arbitrary Anchor Placement (2018) (0)
- ELECTRONIC COMMERCE AND ORACLE : IMPLEMENTATION OF THE EDIFACT STRUCTURE ON AN RDBMS (1999) (0)
- Fundamental Study Bisimulation relations for dynamical, control, and hybrid systems (2005) (0)
- Preface (2021) (0)
- Variational Autoencoding Neural Operators (2023) (0)
- Introduction (2008) (0)
- Approximations of Discrete, Continuous, and Hybrid Systems (2009) (0)
- Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708] (2006) (0)
- Sclear embedded iol (2016) (0)
- Risk Verification of Stochastic Systems with Neural Network Controllers (2022) (0)
- Óñôó××òò ×øöö Blockinøøóò× Óó Àýýööö Ëý×øøñ× (2007) (0)
- Encrypted control for networked systems (2021) (0)
- Resilient Consensus via Voronoi Communication Graphs (2022) (0)
- Hierarchical trajectory refine ment for a class of nonlinear systems (2005) (0)
- Reinforcement Learning for Control Using Value Function Approximation (2020) (0)
- Chapter 30: Verification of Hybrid Systems (2021) (0)
- Multi Uav Cooperative Surveillance With Spatio Temporal (2021) (0)
- Multi-agent nonholonomic systems with spatio-temporal constraints (2008) (0)
- Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics (2010) (0)
- An approximation theory for discrete event and continuous time systems (2017) (0)
- Value of forecasts in planning under uncertainty (2015) (0)
- Learning Rigidity-based Flocking Control with Gaussian Processes (2021) (0)
- Distributed control of robotic networks (2008) (0)
- Feasible Formations of Multi-Agent Systems 1 (2006) (0)
- Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network (2023) (0)
- Learning-based Balancing of Model-based and Feedback Control for Second-order Mechanical Systems (2022) (0)
- Diagnostic Radiology Fellowship Applicant Selection Criteria: A Survey of Program Directors (2023) (0)
- HierarchicalControl SystemDesign usingApproximate Simulation ⋆ (2008) (0)
- Temporal LogicMotionPlanning forDynamicRobots (2008) (0)
- Editorial (2010) (0)
- Distributed Locally Non-interfering Connectivity via Linear Temporal Logic (2020) (0)
- Learning Rigidity-based Flocking Control using Gaussian Processes with Probabilistic Stability Guarantees (2022) (0)
- Industry/Research News (2006) (0)
- Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks (2015) (0)
- A Next Generation Architecture for Air Tra cManagement ? (1997) (0)
- The E ffec t of Feedback and Feedforward on (2002) (0)
- AppliedMechanics 9-1-2006 Cooperative Air and Ground Survaillance (2016) (0)
- SmartATMS : A Simulator For Air Traffic Management Systems (1997) (0)
- DO DEEP NETWORKS TRANSFER INVARIANCES (2022) (0)
- Con ict Resolution for Multi-Agent HybridSystems (1996) (0)
- Spectral mapping of brain functional connectivity from diffusion imaging (2018) (0)
- Analysis and Design of Actuation-Sensing-Communication Interconnection Structures towards Secured/Resilient Closed-loop Systems (2015) (0)
- Optimal Reset Strategies for Mitigating Malware Epidemics (2019) (0)
- Temporal Difference Learning with Compressed Updates: Error-Feedback meets Reinforcement Learning (2023) (0)
- Solar Total Energy Project construction cost history (1983) (0)
- ODE Discretization Schemes as Optimization Algorithms (2022) (0)
- Abstractions of Hamiltonian Control Systems 1 (2001) (0)
- SEISMIC VULNERABILITY OF STRUTTED-COLUMN BRIDGE BENTS. FINAL TECHNICAL REPORT (1995) (0)
- The CPS foundations of safe autonomy (2019) (0)
- Approximate Bisimulations for Nonlinear Dynamical Systems Approximate Bisimulations for Nonlinear Dynamical Systems (2021) (0)
- Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction (2023) (0)
- Departmental Papers ( ESE ) Department of Electrical & Systems Engineering December 2002 Bisimilar Control Affine Systems (2016) (0)
- AMoving-HorizonHybrid StochasticGame for Secure Control ofCyber-Physical Systems ? (2018) (0)
- The Advanced Virgo+ status (2023) (0)
- Noncooperative Connict Resolution 1 (1997) (0)
- PATH PLANNING MOBILE ROBOTICS (2005) (0)
- Almost-Zero Duality Gaps in Model-Free Resource Allocation for Wireless Systems (2021) (0)
- AHybridStochasticGame for SecureControl of Cyber-Physical Systems ? (2017) (0)
- Advanced Virgo Plus: Future Perspectives (2023) (0)
- Finite quotients of controllable systems (2003) (0)
- Bacteria-Powered Microrobots (2012) (0)
- ATPC (2016) (0)
- Study on the occurrence rate of Ha solar flares in order to detect the possible existence of North-South and East-West asymmetries during the time interval 1994-2000. (2001) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With George J. Pappas?
George J. Pappas is affiliated with the following schools:
