Manuela-Luminita Bujorianu

CoRR, 2024

Online Model-Free Safety Verification for Markov Decision Processes Without Safety Violation.

[BibT_eX]

[DOI]

Abhijit Mazumdar

Proceedings of the European Control Conference, 2024

2023

Probabilistic Safety Guarantees for Markov Decision Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., December, 2023

Robust Correlated Equilibrium: Definition and Computation.

[BibT_eX]

[DOI]

Rahul Misra

Carsten Skovmose Kallesøe

CoRR, 2023

Online Learning of Safety function for Markov Decision Processes.

[BibT_eX]

[DOI]

Abhijit Mazumdar

Proceedings of the European Control Conference, 2023

From MDP to POMDP and Back: Safety and Compositionality.

[BibT_eX]

[DOI]

Tristan Caulfield

David J. Pym

Proceedings of the European Control Conference, 2023

Cyber-Physical Ecosystems: Modelling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2021

Stochastic Safety for Markov Chains.

[BibT_eX]

[DOI]

Evangelos Boulougouris

IEEE Control. Syst. Lett., 2021

Safety of stochastic systems: An analytic and computational approach.

[BibT_eX]

[DOI]

Autom., 2021

Stochastic Safety for Random Dynamical Systems.

[BibT_eX]

[DOI]

Evangelos Boulougouris

Proceedings of the 2021 American Control Conference, 2021

2020

$p$-Safe Analysis of Stochastic Hybrid Processes.

[BibT_eX]

[DOI]

Christoffer Sloth

IEEE Trans. Autom. Control., 2020

2019

Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review.

[BibT_eX]

[DOI]

Victor Bolbot

Gerasimos Theotokatos

Evangelos Boulougouris

Dracos Vassalos

Reliab. Eng. Syst. Saf., 2019

New Insights on p-safety of Stochastic Systems.

[BibT_eX]

[DOI]

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

2018

CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017

Stochastic safety analysis of stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Safety Verification of Piecewise-Deterministic Markov Processes.

[BibT_eX]

[DOI]

Christoffer Sloth

Nir Piterman

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Functional model reduction of inhomogeneous Markov chains.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

A Modelling Framework for Cyber-Physical System Resilience.

[BibT_eX]

[DOI]

Nir Piterman

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2014

Complex systems techniques for cyber-physical systems: position paper.

[BibT_eX]

[DOI]

Robert S. MacKay

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013

A coordination model for ultra-large scale systems of systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

2012

Contingent Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Preface.

[BibT_eX]

[DOI]

Michael Fisher

Corina S. Pasareanu

Ann. Math. Artif. Intell., 2011

Stochastic non sequitur behavior analysis of fault tolerant hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Systems theory in an analytic setting.

[BibT_eX]

[DOI]

Howard Barringer

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

How good are the stochastic analysis methods for stochastic reachability.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Variational inequalities for the stochastic reachability problem.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Towards Co-Engineering Communicating Autonomous Cyber-physical Systems.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience.

[BibT_eX]

Proceedings of the ICINCO 2009, Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics, 2009

Large deviation methods for stochastic reachability.

[BibT_eX]

[DOI]

Hong Wang

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Dealing with stochastic reachability.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

State Constrained Reachability for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.

[BibT_eX]

[DOI]

Rom Langerak

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.

[BibT_eX]

[DOI]

Howard Barringer

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

Symmetry reduction for stochastic hybrid systems.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

An Integrated Specification Framework for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

New insights on stochastic reachability.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Towards Hilbertian Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Model Checking for a Class of Performance Properties of Fluid Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Viewpoint Development of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Functional Abstractions of stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Henk A. P. Blom

Holger Hermanns

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Stochastic hybrid system : modelling and verification.

[BibT_eX]

[DOI]

PhD thesis, 2005

Bisimulation for General Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

A Statistical Inference Method for the Stochastic Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Extended Stochastic Hybrid Systems and Their Reachability Problem.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

General stochastic hybrid systems: modelling and optimal control.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Reachability Questions in Piecewise Deterministic Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Stochastic Hybrid Models: An Overview.

[BibT_eX]

[DOI]

Giordano Pola