Sofie Haesaert

CoRR, 2024

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion.

[BibT_eX]

[DOI]

Zhiyong Sun

CoRR, 2024

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications.

[BibT_eX]

[DOI]

Eleftherios E. Vlahakis

Mircea Lazar

CoRR, 2024

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".

[BibT_eX]

[DOI]

CoRR, 2024

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics.

[BibT_eX]

[DOI]

Mircea Lazar

CoRR, 2024

2023

Convex incremental dissipativity analysis of nonlinear systems.

[BibT_eX]

[DOI]

Patrick J. W. Koelewijn

Autom., April, 2023

Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.

[BibT_eX]

[DOI]

B. C. van Huijgevoort

Siep Weiland

IEEE Control. Syst. Lett., 2023

A Linear Parameter-Varying Approach to Data Predictive Control.

[BibT_eX]

[DOI]

CoRR, 2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.

[BibT_eX]

[DOI]

CoRR, 2023

Direct data-driven signal temporal logic control of linear systems.

[BibT_eX]

[DOI]

CoRR, 2023

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Stochastic Model Predictive Control with Dynamic Chance Constraints.

[BibT_eX]

[DOI]

Mircea Lazar

Proceedings of the 27th International Conference on System Theory, Control and Computing, 2023

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.

[BibT_eX]

[DOI]

Disha Kamale

Cristian-Ioan Vasile

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Modularized Control Synthesis for Complex Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Direct Data-Driven State-Feedback Control of General Nonlinear Systems.

[BibT_eX]

[DOI]

Patrick J. W. Koelewijn

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.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Automated Formation Control Synthesis from Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.

[BibT_eX]

[DOI]

Disha Kamale

Cristian-Ioan Vasile

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Abstracting Linear Stochastic Systems via Knowledge Filtering.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

ARCH-COMP23 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Autom., 2022

Deep-Learning-Based Identification of LPV Models for Nonlinear Systems.

[BibT_eX]

[DOI]

Gerben Izaak Beintema

Maarten Schoukens

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Correct-by-Design Control of Parametric Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

ARCH-COMP22 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Formal Multi-Objective Synthesis of Continuous-State MDPs.

[BibT_eX]

[DOI]

Petter Nilsson

IEEE Control. Syst. Lett., 2021

Data-Driven Predictive Control for Linear Parameter-Varying Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Multi-layered simulation relations for linear stochastic systems.

[BibT_eX]

[DOI]

B. C. van Huijgevoort

Proceedings of the 2021 European Control Conference, 2021

Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

ARCH-COMP21 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ali-akbar Agha-mohammadi

IEEE Robotics Autom. Lett., 2020

Similarity quantification for linear stochastic systems as a set-theoretic control problem.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Achievements in correct-by-design control for stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Abraham P. Vinod

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.

[BibT_eX]

[DOI]

Rohan Thakker

Petter Nilsson

Ali-Akbar Agha-Mohammadi

Richard M. Murray

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A separation theorem for guaranteed H2 performance through matrix inequalities.

[BibT_eX]

[DOI]

Siep Weiland

Carsten W. Scherer

Autom., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.

[BibT_eX]

[DOI]

Ali-Akbar Agha-Mohammadi

Richard M. Murray

Aaron D. Ames

Proceedings of the Robotics: Science and Systems XIV, 2018

Temporal logic control of general Markov decision processes by approximate policy refinement.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ali-akbar Agha-mohammadi

Aaron D. Ames

Richard M. Murray

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Vignesh Sivaramakrishnan

Cristian Ioan Vasile

Abraham P. Vinod

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.

[BibT_eX]

[DOI]

Sadegh Esmaeil Zadeh Soudjani

SIAM J. Control. Optim., 2017

Certified policy synthesis for general Markov decision processes: An application in building automation systems.

[BibT_eX]

[DOI]

Nathalie Cauchi

Perform. Evaluation, 2017

Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations.

[BibT_eX]

[DOI]

CoRR, 2017

Data-driven and model-based verification via Bayesian identification and reachability analysis.

[BibT_eX]

[DOI]

Autom., 2017

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Data-Efficient Bayesian Verification of Parametric Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Experiment design for formal verification via stochastic optimal control.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

2015

Observer-based correct-by-design controller synthesis.

[BibT_eX]

[DOI]

CoRR, 2015

Data-driven and model-based verification: A Bayesian identification approach.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Correct-by-design output feedback of LTI systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Data-driven property verification of grey-box systems by Bayesian experiment design.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes.

[BibT_eX]

[DOI]

Robert Babuska

CoRR, 2014

Multi-agent discrete-time graphical games and reinforcement learning solutions.

[BibT_eX]

[DOI]

Mohammed I. Abouheaf

Frank L. Lewis

Kyriakos G. Vamvoudakis