| Publication | Date of Publication | Type |
|---|
Temporal Robustness of Stochastic Signals
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Learning lyapunov functions for hybrid systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Online Learning of the Kalman Filter With Logarithmic Regret
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
Reactive and Risk-Aware Control for Signal Temporal Logic
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
Risk verification of stochastic systems with neural network controllers
Artificial Intelligence | 2022-11-08 | Paper |
Model-Free Learning of Optimal Ergodic Policies in Wireless Systems
IEEE Transactions on Signal Processing | 2022-09-23 | Paper |
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
| 2022-03-25 | Paper |
Robust and Adaptive Sequential Submodular Optimization
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
On the Structural Target Controllability of Undirected Networks
IEEE Transactions on Automatic Control | 2022-02-23 | Paper |
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators
IEEE Control Systems | 2022-01-10 | Paper |
Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges
IEEE Control Systems | 2022-01-10 | Paper |
Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks
IEEE Control Systems | 2021-12-15 | Paper |
Latency-Reliability Tradeoffs for State Estimation
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
LQG Control and Sensing Co-Design
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Statistical learning for analysis of networked control systems over unknown channels
Automatica | 2021-04-20 | Paper |
STL Robustness Risk over Discrete-Time Stochastic Processes
| 2021-04-03 | Paper |
Approximate Supermodularity of Kalman Filter Sensor Selection
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Case study
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
State-Secrecy Codes for Networked Linear Systems
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Robust Economic Model Predictive Control of Continuous-Time Epidemic Processes
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Consensus of Multiagent Systems Via Asynchronous Cloud Communication
IEEE Transactions on Control of Network Systems | 2020-10-05 | Paper |
Network Design for Controllability Metrics
IEEE Transactions on Control of Network Systems | 2020-10-05 | Paper |
A Temporal Logic-Based Hierarchical Network Connectivity Controller
| 2020-09-01 | Paper |
Learning Lyapunov Functions for Piecewise Affine Systems with Neural Network Controllers
| 2020-08-14 | Paper |
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
| 2020-04-05 | Paper |
Finite-dimensional control of linear discrete-time fractional-order systems
Automatica | 2020-03-24 | Paper |
Verisig
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Minimal Edge Addition for Network Controllability
IEEE Transactions on Control of Network Systems | 2019-08-14 | Paper |
Analysis and Design of Actuation–Sensing–Communication Interconnection Structures Toward Secured/Resilient LTI Closed-Loop Systems
IEEE Transactions on Control of Network Systems | 2019-08-14 | Paper |
Diffusing Private Data Over Networks
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Minimal Reachability is Hard To Approximate
IEEE Transactions on Automatic Control | 2019-03-28 | Paper |
A Control-Theoretic Approach to Analysis and Parameter Selection of Douglas-Rachford Splitting
| 2019-03-27 | Paper |
Learning in Wireless Control Systems Over Nonstationary Channels
IEEE Transactions on Signal Processing | 2019-03-06 | Paper |
Continuous Estimation Using Context-Dependent Discrete Measurements
IEEE Transactions on Automatic Control | 2019-01-28 | Paper |
Optimal Resource Allocation for Competitive Spreading Processes on Bilayer Networks
IEEE Transactions on Control of Network Systems | 2018-12-19 | Paper |
Selecting Sensors in Biological Fractional-Order Systems
IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
A hybrid stochastic game for secure control of cyber-physical systems
Automatica | 2018-10-17 | Paper |
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization
| 2018-10-15 | Paper |
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
| 2018-09-06 | Paper |
Control of Generalized Discrete-time SIS Epidemics via Submodular Function Minimization
| 2018-08-15 | Paper |
Verification of Hybrid Systems
Handbook of Model Checking | 2018-07-20 | Paper |
Random access design for wireless control systems
Automatica | 2018-06-14 | Paper |
Stability of Control Systems with Feedback from Energy Harvesting Sensors
| 2017-12-07 | Paper |
Optimal Resource Allocation for Network Protection Against Spreading Processes
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Minimal Actuator Placement With Bounds on Control Effort
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Optimal Resource Allocation for Control of Networked Epidemic Models
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Attack-Resilient State Estimation for Noisy Dynamical Systems
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Adaptive Deployment of Mobile Robotic Networks
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Stochastic Source Seeking by Mobile Robots
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Network Integrity in Mobile Robotic Networks
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
The Wireless Control Network: A New Approach for Control Over Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Compositional Modeling and Analysis of Multi-Hop Control Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Approximations of Stochastic Hybrid Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Hybrid Control for Connectivity Preserving Flocking
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Flocking in Fixed and Switching Networks
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Approximation Metrics for Discrete and Continuous Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System ofEscherichia Coli
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
SMC: satisfiability modulo convex optimization
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Robust Economic Model Predictive Control of Continuous-time Epidemic Processes
| 2017-07-03 | Paper |
Consistent abstractions of affine control systems
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
From nonlinear to hamiltonian via feedback
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
Optimal Power Management in Wireless Control Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Differentially Private Filtering
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Compositional safety analysis using barrier certificates
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Reputation-based networked control with data-corrupting channels
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Opportunistic Control Over Shared Wireless Channels
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Resource constrained LQR control under fast sampling
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Differentially Private Distributed Constrained Optimization
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Structural minimum controllability problem for switched linear continuous-time systems
Automatica | 2017-03-28 | Paper |
Inference, Prediction, and Control of Networked Epidemics
| 2017-03-21 | Paper |
Event-Triggered Communication and Control for Multi-Agent Average Consensus
| 2016-09-22 | Paper |
Self-Triggered Time-Varying Convex Optimization
| 2016-03-28 | Paper |
Optimal resource allocation for competitive spreading processes on bilayer networks
| 2015-12-16 | Paper |
Analysis and Design of Actuation-Sensing-Communication Interconnection Structures towards Secured/Resilient Closed-loop Systems
| 2015-11-09 | Paper |
Minimum Number of Probes for Brain Dynamics Observability
| 2015-08-27 | Paper |
Deterministic Bounding Systems for Stochastic Compartmental Spreading Processes
| 2015-07-18 | Paper |
Value of forecasts in planning under uncertainty: Extended version
| 2015-03-13 | Paper |
Minimum Cost Constrained Input-Output and Control Configuration Co-Design Problem: A Structural Systems Approach
| 2015-03-09 | Paper |
Resilient parameter-invariant control with application to vehicle cruise control
Control of Cyber-Physical Systems | 2014-10-16 | Paper |
Bisimulation relations for dynamical and control systems
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks
Automatica | 2012-12-13 | Paper |
Approximate bisimulation: a bridge between computer science and control theory
European Journal of Control | 2012-12-08 | Paper |
Inferring stable genetic networks from steady-state data
Automatica | 2012-03-05 | Paper |
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science | 2009-10-09 | Paper |
Trajectory Based Verification Using Local Finite-Time Invariance
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Hierarchical control system design using approximate simulation
Automatica | 2009-04-23 | Paper |
Temporal logic motion planning for dynamic robots
Automatica | 2009-04-22 | Paper |
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Robust Test Generation and Coverage for Hybrid Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Approximate equivalence and synchronization of metric transition systems
Systems & Control Letters | 2009-03-02 | Paper |
A dynamical systems approach to weighted graph matching
Automatica | 2009-01-20 | Paper |
Approximate simulation relations for hybrid systems
Discrete Event Dynamic Systems | 2008-08-20 | Paper |
Approximate reduction of dynamic systems
Systems & Control Letters | 2008-07-10 | Paper |
Temporal Logic Verification Using Simulation
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Robust Sampling for MITL Specifications
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Approximate bisimulation relations for constrained linear systems
Automatica | 2008-01-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Bisimilar control affine systems
Systems & Control Letters | 2006-09-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science | 2005-09-22 | Paper |
Quotients of Fully Nonlinear Control Systems
SIAM Journal on Control and Optimization | 2005-09-15 | Paper |
Hierarchical trajectory refinement for a class of nonlinear systems
Automatica | 2005-05-12 | Paper |
Optimal paths in weighted timed automata
Theoretical Computer Science | 2004-08-10 | Paper |
Bisimilar linear systems.
Automatica | 2004-01-26 | Paper |
Abstractions of Hamiltonian control systems.
Automatica | 2004-01-26 | Paper |
scientific article; zbMATH DE number 1956650 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1798192 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1794360 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1794371 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1794387 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1794388 (Why is no real title available?)
| 2002-09-03 | Paper |
Symbolic reachability computation for families of linear vector fields
Journal of Symbolic Computation | 2002-01-27 | Paper |
Hierarchically consistent control systems
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
scientific article; zbMATH DE number 1301620 (Why is no real title available?)
| 2000-08-21 | Paper |
scientific article; zbMATH DE number 1444367 (Why is no real title available?)
| 2000-05-09 | Paper |
scientific article; zbMATH DE number 1301659 (Why is no real title available?)
| 2000-02-28 | Paper |
O-minimal hybrid systems.
MCSS. Mathematics of Control, Signals, and Systems | 2000-01-01 | Paper |
scientific article; zbMATH DE number 1303067 (Why is no real title available?)
| 1999-11-22 | Paper |
Conflict resolution for air traffic management: a study in multiagent hybrid systems
IEEE Transactions on Automatic Control | 1999-01-19 | Paper |
Straightening out rectangular differential inclusions
Systems & Control Letters | 1999-01-12 | Paper |
Stabilization of non-holonomic vehicles under kinematic constraints
International Journal of Control | 1995-11-28 | Paper |
