2024
Data-Driven Dissipativity Analysis of Linear Parameter-Varying Systems.
IEEE Trans. Autom. Control., December, 2024
Resilient Containment Under Time-Varying Networks With Relaxed Graph Robustness.
IEEE Trans. Netw. Sci. Eng., 2024
The behavioral approach for LPV data-driven representations.
CoRR, 2024
Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes.
CoRR, 2024
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
CoRR, 2024
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees.
CoRR, 2024
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness.
CoRR, 2024
Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications.
CoRR, 2024
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications.
CoRR, 2024
Specification-guided temporal logic control for stochastic systems: a multi-layered approach.
CoRR, 2024
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion.
CoRR, 2024
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.
CoRR, 2024
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.
CoRR, 2024
Awareness in Robotics: An Early Perspective from the Viewpoint of the EIC Pathfinder Challenge "Awareness Inside".
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the European Robotics Forum 2024, 2024
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024
2023
Convex incremental dissipativity analysis of nonlinear systems.
Autom., April, 2023
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
IEEE Control. Syst. Lett., 2023
A Linear Parameter-Varying Approach to Data Predictive Control.
CoRR, 2023
Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR, 2023
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.
CoRR, 2023
Direct data-driven signal temporal logic control of linear systems.
CoRR, 2023
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023
Stochastic Model Predictive Control with Dynamic Chance Constraints.
Proceedings of the 27th International Conference on System Theory, Control and Computing, 2023
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
SySCoRe: Synthesis via Stochastic Coupling Relations.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Direct Data-Driven State-Feedback Control of General Nonlinear Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Automated Formation Control Synthesis from Temporal Logic Specifications.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Abstracting Linear Stochastic Systems via Knowledge Filtering.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
ARCH-COMP23 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Similarity quantification for linear stochastic systems: A coupling compensator approach.
Autom., 2022
Deep-Learning-Based Identification of LPV Models for Nonlinear Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Correct-by-Design Control of Parametric Stochastic Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
ARCH-COMP22 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.
IEEE Trans. Autom. Control., 2021
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.
IEEE Trans. Autom. Control., 2021
Formal Multi-Objective Synthesis of Continuous-State MDPs.
IEEE Control. Syst. Lett., 2021
Data-Driven Predictive Control for Linear Parameter-Varying Systems.
CoRR, 2021
Multi-layered simulation relations for linear stochastic systems.
Proceedings of the 2021 European Control Conference, 2021
Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
ARCH-COMP21 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration.
IEEE Robotics Autom. Lett., 2020
Similarity quantification for linear stochastic systems as a set-theoretic control problem.
CoRR, 2020
2019
Achievements in correct-by-design control for stochastic systems.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019
ARCH-COMP19 Category Report: Stochastic Modelling.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
A separation theorem for guaranteed H2 performance through matrix inequalities.
Autom., 2018
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Proceedings of the Robotics: Science and Systems XIV, 2018
Temporal logic control of general Markov decision processes by approximate policy refinement.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
ARCH-COMP18 Category Report: Stochastic Modelling.
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
SIAM J. Control. Optim., 2017
Certified policy synthesis for general Markov decision processes: An application in building automation systems.
Perform. Evaluation, 2017
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations.
CoRR, 2017
Data-driven and model-based verification via Bayesian identification and reachability analysis.
Autom., 2017
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
2016
Data-Efficient Bayesian Verification of Parametric Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Experiment design for formal verification via stochastic optimal control.
Proceedings of the 15th European Control Conference, 2016
2015
Observer-based correct-by-design controller synthesis.
CoRR, 2015
Data-driven and model-based verification: A Bayesian identification approach.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Correct-by-design output feedback of LTI systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Data-driven property verification of grey-box systems by Bayesian experiment design.
Proceedings of the American Control Conference, 2015
2014
Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.
CoRR, 2014
Multi-agent discrete-time graphical games and reinforcement learning solutions.
Autom., 2014
Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems.
Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014
2013
Multi-agent discrete-time graphical games: interactive Nash equilibrium and value iteration solution.
Proceedings of the American Control Conference, 2013