| Publication | Date of Publication | Type |
|---|
From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
Formal Aspects of Computing | 2024-09-25 | Paper |
Formal analysis of the sampling behavior of stochastic event-triggered control
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Computing the sampling performance of event-triggered control
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
ETCetera: beyond Event-Triggered Control
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Interval Markov Decision Processes with Continuous Action-Spaces
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster: Convex Scenario Optimisation for ReLU Networks
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Chaos and Order in Event-Triggered Control
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
Robust event-driven interactions in cooperative multi-agent learning
(available as arXiv preprint) | 2023-01-18 | Paper |
Computing the average inter-sample time of event-triggered control using quantitative automata
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Automatica | 2022-03-18 | Paper |
The isowarp: the template-based visual geometry of isometric surfaces
International Journal of Computer Vision | 2021-12-02 | Paper |
Isochronous Partitions for Region-Based Self-Triggered Control
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Convergence of ant colony multi-agent swarms
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Lyapunov Event-Triggered Stabilization With a Known Convergence Rate
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Self-triggered output-feedback control of LTI systems subject to disturbances and noise
Automatica | 2020-10-01 | Paper |
Self-triggered output-feedback control of LTI systems subject to disturbances and noise
Automatica | 2020-10-01 | Paper |
Traffic Models of Periodic Event-Triggered Control Systems
IEEE Transactions on Automatic Control | 2019-08-12 | Paper |
Equiareal shape-from-template
Journal of Mathematical Imaging and Vision | 2019-06-27 | Paper |
Symbolic Abstractions of Networked Control Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Formal Traffic Characterization of LTI Event-Triggered Control Systems
IEEE Transactions on Control of Network Systems | 2018-12-19 | Paper |
Lyapunov design for event-triggered exponential stabilization
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Lyapunov design for event-triggered exponential stabilization
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Decentralized periodic event-triggered control with quantization and asynchronous communication
Automatica | 2018-10-17 | Paper |
Decentralized periodic event-triggered control with quantization and asynchronous communication
Automatica | 2018-10-17 | Paper |
Modular Architecture for Efficient Generation and Correlation of Complementary Set of Sequences
IEEE Transactions on Signal Processing | 2018-06-12 | Paper |
Lyapunov Event-triggered Stabilization with a Known Convergence Rate
(available as arXiv preprint) | 2018-03-23 | Paper |
Scheduling of controllers' update-rates for residual bandwidth utilization
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Optimality of robust disturbance-feedback strategies
International Journal of Robust and Nonlinear Control | 2016-04-15 | Paper |
Asynchronous decentralized event-triggered control
Automatica | 2015-04-28 | Paper |
Symbolic approximate time-optimal control
Systems & Control Letters | 2011-05-06 | Paper |
An ISS self-triggered implementation of linear controllers
Automatica | 2010-11-25 | Paper |
| scientific article; zbMATH DE number 5347120 (Why is no real title available?) | 2008-09-25 | Paper |
| scientific article; zbMATH DE number 2044635 (Why is no real title available?) | 2004-02-18 | Paper |
Wheelchair guidance strategies using EOG
Journal of Intelligent & Robotic Systems | 2003-02-19 | Paper |
Using a new model of recurrent neural network for control
Neural Processing Letters | 2003-02-19 | Paper |
scientific article; zbMATH DE number 1729497 (Why is no real title available?)
Autonomous Robots | 2002-04-15 | Paper |
Integral system for assisted mobility
Information Sciences | 2001-10-14 | Paper |
Neural control of the movements of a wheelchair
Journal of Intelligent & Robotic Systems | 2001-06-25 | Paper |
Solutions of Quadratic First-Order ODEs applied to Computer Vision Problems
(available as arXiv preprint) | N/A | Paper |
