Alessandro Abate

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

SMT-Based Model Checking of Max-Plus Linear Systems.

[BibT_eX]

[DOI]

Andrea Micheli

Alessandro Cimatti

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Learning Probabilistic Termination Proofs.

[BibT_eX]

[DOI]

Mirco Giacobbe

Diptarko Roy

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice.

[BibT_eX]

[DOI]

Michael J. Wooldridge

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Multi-Agent Reinforcement Learning with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Lewis Hammond

Julian Gutierrez

Michael J. Wooldridge

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 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

A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Natasha Yogananda Jeppu

Tom Melham

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Automated Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

[BibT_eX]

[DOI]

Andrea Peruffo

Daniele Ahmed

CoRR, 2020

Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer.

[BibT_eX]

[DOI]

Thomas J. Ringstrom

CoRR, 2020

Acceleration of Descent-based Optimization Algorithms via Carathéodory's Theorem.

[BibT_eX]

[DOI]

Francesco Cosentino

Harald Oberhauser

CoRR, 2020

Automated Formal Synthesis of Lyapunov Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Automated formal synthesis of provably safe digital controllers for continuous plants.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

[BibT_eX]

[DOI]

Daniele Ahmed

Andrea Peruffo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

SMITE: Using Smart Meters to Infer the Thermal Efficiency of Residential Homes.

[BibT_eX]

[DOI]

Proceedings of the BuildSys '20: The 7th ACM International Conference on Systems for Energy-Efficient Buildings, 2020

SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

A Randomized Algorithm to Reduce the Support of Discrete Measures.

[BibT_eX]

[DOI]

Francesco Cosentino

Harald Oberhauser

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Deep Reinforcement Learning with Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving.

[BibT_eX]

[DOI]

Alessandro Cimatti

Andrea Micheli

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

ABC(SMC)<sup>2</sup>: Simultaneous Inference and Model Checking of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Gareth W. Molyneux

Proceedings of the Computational Methods in Systems Biology, 2020

Safety Guarantees for Iterative Predictions with Gaussian Processes.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Cautious Reinforcement Learning with Logical Constraints.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

[BibT_eX]

[DOI]

Lei Bu

Rajarshi Ray

Yuming Wu

Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Safety Guarantees for Planning Based on Iterative Gaussian Processes.

[BibT_eX]

[DOI]

CoRR, 2019

DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Natasha Yogananda Jeppu

Tom Melham

CoRR, 2019

Modular Deep Reinforcement Learning with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Lim Zun Yuan

CoRR, 2019

Verifying Reachability Properties in Markov Chains via Incremental Induction.

[BibT_eX]

[DOI]

CoRR, 2019

Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings.

[BibT_eX]

[DOI]

Khaza Anuarul Hoque

CoRR, 2019

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version).

[BibT_eX]

[DOI]

CoRR, 2019

Certified Reinforcement Learning with Logic Guidance.

[BibT_eX]

[DOI]

CoRR, 2019

StocHy: automated verification and synthesis of stochastic processes.

[BibT_eX]

[DOI]

Kurt Degiorgio

CoRR, 2019

\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes.

[BibT_eX]

[DOI]

Viraj Brian Wijesuriya

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Safety Guarantees for the Electricity Grid with Significant Renewables Generation.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

StocHy - automated verification and synthesis of stochastic processes: poster abstract.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Bayesian Verification of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Gareth W. Molyneux

Viraj B. Wijesuriya

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

[BibT_eX]

[DOI]

Idriss Riouak

Stefano Tonetta

Enea Zaffanella

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Birgit van Huijgevoort

Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.

[BibT_eX]

[DOI]

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

Safe Policy Search Using Gaussian Process Models.

[BibT_eX]

[DOI]

Kyriakos Polymenakos

Stephen J. Roberts

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Logically-Constrained Neural Fitted Q-iteration.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Towards Verifiable and Safe Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

Maintenance of Smart Buildings using Fault Trees.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2018

Multiobjective Optimal Control With Safety as a Priority.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2018

Symbolic Abstractions of Networked Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version).

[BibT_eX]

[DOI]

Jack Wheatley

CoRR, 2018

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version).

[BibT_eX]

[DOI]

CoRR, 2018

Logically-Correct Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2018

Tropical Abstractions of Max-Plus Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Modelling Smart Buildings Using Fault Maintenance Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

Experimental Biological Protocols with Formal Semantics.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2018

Impact of Solar Panels and Cooling Devices on Frequency Control After a Generation Loss Incident.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Counterexample Guided Inductive Synthesis Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Approximate Abstractions of Markov Chains with Interval Decision Processes.

[BibT_eX]

[DOI]

Jack Wheatley

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

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

[BibT_eX]

[DOI]

Sadegh Soudjani

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

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

[BibT_eX]

[DOI]

Enea Zaffanella

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Benchmarks for stochastic models from building automation systems.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Benchmarks for cyber-physical systems: A modular model library for building automation systems.

[BibT_eX]

[DOI]

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

Sadegh Soudjani

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]

SIAM J. Control. Optim., 2017

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

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

Quantitative model-checking of controlled discrete-time Markov processes.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Towards scalable synthesis of stochastic control systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Safe Policy Search with Gaussian Process Models.

[BibT_eX]

[DOI]

Kyriakos Polymenakos

Stephen J. Roberts

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version).

[BibT_eX]

[DOI]

Gaoang Bian

CoRR, 2017

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

[BibT_eX]

[DOI]

Autom., 2017

Dynamic Bayesian networks for formal verification of structured stochastic processes.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 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

Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels.

[BibT_eX]

[DOI]

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

Formal verification of complex systems: model-based and data-driven methods.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

DSSynth: an automated digital controller synthesis tool for physical plants.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Multi-objective optimal control with safety as a priority.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.

[BibT_eX]

[DOI]

Gaoang Bian

Proceedings of the Foundations of Software Science and Computation Structures, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems.

[BibT_eX]

[DOI]

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

Sound Numerical Computations in Abstract Acceleration.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Formal Verification of Stochastic Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.

[BibT_eX]

[DOI]

Yining Zhang

Discret. Event Dyn. Syst., 2016

Safety Verification of Continuous-Space Pure Jump Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Formal and Data Association Aware Robust Belief Space Planning.

[BibT_eX]

[DOI]

Shashank Pathak

Vadim Indelman

Proceedings of the STAIRS 2016, 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

Safety verification of output feedback controllers for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Efficient HVAC controls: A symbolic approach.

[BibT_eX]

[DOI]

Ondrej Holub

Proceedings of the 15th European Control Conference, 2016

Experiment design for formal verification via stochastic optimal control.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Verification of Networks of Smart Energy Systems over the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.

[BibT_eX]

[DOI]

Milan Ceska

Marta Kwiatkowska

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Observer-based correct-by-design controller synthesis.

[BibT_eX]

[DOI]

CoRR, 2015

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version).

[BibT_eX]

[DOI]

CoRR, 2015

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.

[BibT_eX]

[DOI]

Antoine Girard

Autom., 2015

Computational techniques for reachability analysis of Max-Plus-Linear systems.

[BibT_eX]

[DOI]

Autom., 2015

FAUST <sup> 2</sup> : Formal Abstractions of Uncountable-STate STochastic Processes.

[BibT_eX]

[DOI]

Caspar Gevaerts

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 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

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

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

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

A mean field equilibrium for a model of interbank lending.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Controller Synthesis for Probabilistic Safety Specifications using Observers.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Characterization and computation of infinite-horizon specifications over Markov processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.

[BibT_eX]

[DOI]

Peyman Mohajerin Esfahani

IEEE Trans. Autom. Control., 2014

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Approximately bisimilar symbolic models for randomly switched stochastic systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Symbolic Models for Networked Control Systems.

[BibT_eX]

[DOI]

Manuel Mazo Jr.

CoRR, 2014

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

[BibT_eX]

[DOI]

Robert Babuska

CoRR, 2014

Backward Reachability of Autonomous Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Forward Reachability Computation for Autonomous Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Finite Abstractions of Stochastic Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Bisimilar symbolic models for stochastic control systems without state-space discretization.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

On approximation metrics for linear temporal model-checking of stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach.

[BibT_eX]

[DOI]

Lakshmeesh R. M. Maruthi

Proceedings of the Computational Methods in Systems Biology, 2014

Finite abstractions of networked control systems.

[BibT_eX]

[DOI]

Manuel Mazo Jr.

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Symbolic models for randomly switched stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Finite Abstractions of Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2013

A stochastic games framework for verification and control of discrete time stochastic hybrid systems.

[BibT_eX]

[DOI]

Autom., 2013

Symbolic Control of Stochastic Switched Systems via Finite Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

VeriSiMPL: Verification via biSimulations of MPL Models.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Symbolic models for stochastic control systems without stability assumptions.

[BibT_eX]

[DOI]

Peyman Mohajerin Esfahani

Proceedings of the 12th European Control Conference, 2013

Aggregation of thermostatically controlled loads by formal abstractions.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

Bisimilar finite abstractions of stochastic control systems.

[BibT_eX]

[DOI]

Peyman Mohajerin Esfahani

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications.

[BibT_eX]

[DOI]

Jerry Ding

Claire J. Tomlin

Proceedings of the American Control Conference, 2013

Finite abstractions of nonautonomous Max-Plus-Linear systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

On infinite horizon switched LQR problems with state and control constraints.

[BibT_eX]

[DOI]

Maximilian Balandat

Syst. Control. Lett., 2012

On efficient sensor scheduling for linear dynamical systems.

[BibT_eX]

[DOI]

Autom., 2012

Modeling and simulation of a microgrid as a Stochastic Hybrid System.

[BibT_eX]

[DOI]

Martin Strelec

Karel Macek

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Regularization of bellman equations for infinite-horizon probabilistic properties.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Probabilistic invariance of mixed deterministic-stochastic dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Robust PCTL model checking.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Stability and attractivity of absorbing sets for discrete-time Markov processes.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

Abstraction and verification of autonomous Max-Plus-Linear systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Approximate Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Versatile spectral methods for point set matching.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2011

Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Quantitative automata model checking of autonomous stochastic hybrid systems.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Alexandru Mereacre

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

On infinite-horizon probabilistic properties and stochastic bisimulation functions.

[BibT_eX]

[DOI]

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

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.

[BibT_eX]

[DOI]

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

Approximate abstractions of stochastic systems: A randomized method.

[BibT_eX]

[DOI]

Maria Prandini

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

2010

Probabilistic safety and optimal control for survival analysis of Bacillus subtilis.

[BibT_eX]

[DOI]

Shankar S. Sastry

Syst. Control. Lett., 2010

Approximate Model Checking of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2010

On the optimal solutions of the infinite-horizon linear sensor scheduling problem.

[BibT_eX]

[DOI]

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

On sensor scheduling of linear dynamical systems with error bounds.

[BibT_eX]

[DOI]

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

On the infinite horizon constrained switched LQR problem.

[BibT_eX]

[DOI]

Maximilian Balandat

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

Probabilistic bisimulations of switching and resetting diffusions.

[BibT_eX]

[DOI]

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

2009

On the Value Functions of the Discrete-Time Switched LQR Problem.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2009

Exponential stabilization of discrete-time switched linear systems.

[BibT_eX]

[DOI]

Autom., 2009

Box invariance in biologically-inspired dynamical systems.

[BibT_eX]

[DOI]

Ashish Tiwari

Autom., 2009

The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator.

[BibT_eX]

Alberto Silletti

Angelo Cenedese

Proceedings of the VISAPP 2009 - Proceedings of the Fourth International Conference on Computer Vision Theory and Applications, Lisboa, Portugal, February 5-8, 2009, 2009

Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On piecewise quadratic control-Lyapunov functions for switched linear systems.

[BibT_eX]

[DOI]

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

A contractivity approach for probabilistic bisimulations of diffusion processes.

[BibT_eX]

[DOI]

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

Efficient suboptimal solutions of switched LQR problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.

[BibT_eX]

[DOI]

Autom., 2008

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.

[BibT_eX]

[DOI]

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

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

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

Approximate abstractions of discrete-time controlled stochastic hybrid systems.

[BibT_eX]

[DOI]

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

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems.

[BibT_eX]

[DOI]

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

2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.

[BibT_eX]

[DOI]

Giordano Pola

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations.

[BibT_eX]

[DOI]

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

Quantitative and Probabilistic Modeling in Pathway Logic.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007

2006

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems.

[BibT_eX]

[DOI]

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

Error bounds based stochastic approximations and simulations of hybrid dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

A priori detection of Zeno behavior in communication networks modeled as hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Box invariance of Hybrid and switched Systems.

[BibT_eX]

[DOI]

Ashish Tiwari

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

2005

Sufficient Conditions for the Existence of Zeno Behavior.

[BibT_eX]

[DOI]

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

Stochastic approximations of hybrid systems.

[BibT_eX]

[DOI]

S. Shankar Sastry

Proceedings of the American Control Conference, 2005

2004

Optimal control for a class of stochastic hybrid systems.

[BibT_eX]

[DOI]

Ling Shi

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

Robust model predictive control through adjustable variables: an application to path planning.

[BibT_eX]

[DOI]