# Alessandro Abate

According to our database

^{1}, Alessandro Abate## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

Inf. Comput., 2017

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

CoRR, 2017

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

CoRR, 2017

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

Automatica, 2017

Dynamic Bayesian networks for formal verification of structured stochastic processes.

Acta Inf., 2017

Multi-objective optimal control with safety as a priority.

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

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

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

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

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.

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

2016

Formal Verification of Stochastic Max-Plus-Linear Systems.

IEEE Trans. Automat. Contr., 2016

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

Discrete Event Dynamic Systems, 2016

Towards Scalable Synthesis of Stochastic Control Systems.

CoRR, 2016

Safety Verification of Output Feedback Controllers for Nonlinear Systems.

CoRR, 2016

Verification of general Markov decision processes by approximate similarity relations and policy refinement.

CoRR, 2016

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

CoRR, 2016

Safety Verification of Continuous-Space Pure Jump Markov Processes.

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

Formal and Data Association Aware Robust Belief Space Planning.

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

Safety verification of output feedback controllers for nonlinear systems.

Proceedings of the 2016 European Control Conference, 2016

Efficient HVAC controls: A symbolic approach.

Proceedings of the 2016 European Control Conference, 2016

Experiment design for formal verification via stochastic optimal control.

Proceedings of the 2016 European Control Conference, 2016

Verification of Networks of Smart Energy Systems over the Cloud.

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

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

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

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

IEEE Trans. Contr. Sys. Techn., 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

CoRR, 2015

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

Logical Methods in Computer Science, 2015

Observer-based correct-by-design controller synthesis.

CoRR, 2015

Data-driven and Model-based Verification: a Bayesian Identification Approach.

CoRR, 2015

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

CoRR, 2015

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

Automatica, 2015

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

Automatica, 2015

FAUST

^{ 2}: Formal Abstractions of Uncountable-STate STochastic Processes.
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.

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

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.

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

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

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

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

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

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

Proceedings of the American Control Conference, 2015

A mean field equilibrium for a model of interbank lending.

Proceedings of the American Control Conference, 2015

2014

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

Theor. Comput. Sci., 2014

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

IEEE Trans. Automat. Contr., 2014

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.

IEEE Trans. Automat. Contr., 2014

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes.

IEEE Trans. Automat. Contr., 2014

Approximately bisimilar symbolic models for randomly switched stochastic systems.

Systems & Control Letters, 2014

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

Dagstuhl Reports, 2014

Symbolic Models for Networked Control Systems.

CoRR, 2014

Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach.

CoRR, 2014

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

CoRR, 2014

FAUST

^{2}: Formal Abstractions of Uncountable-STate STochastic processes.
CoRR, 2014

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

CoRR, 2014

Backward Reachability of Autonomous Max-Plus-Linear Systems.

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.

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

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

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

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

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

Finite Abstractions of Stochastic Max-Plus-Linear Systems.

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

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

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.

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.

Proceedings of the Computational Methods in Systems Biology, 2014

Finite abstractions of networked control systems.

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

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

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

Symbolic models for randomly switched stochastic systems.

Proceedings of the American Control Conference, 2014

2013

Finite Abstractions of Max-Plus-Linear Systems.

IEEE Trans. Automat. Contr., 2013

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

SIAM J. Applied Dynamical Systems, 2013

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

Electr. Notes Theor. Comput. Sci., 2013

Symbolic control of stochastic systems via approximately bisimilar finite abstractions

CoRR, 2013

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

CoRR, 2013

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

Automatica, 2013

Symbolic Control of Stochastic Switched Systems via Finite Abstractions.

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

VeriSiMPL: Verification via biSimulations of MPL Models.

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

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

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.

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

Bisimilar finite abstractions of stochastic control systems.

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.

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

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

Proceedings of the American Control Conference, 2013

Finite abstractions of nonautonomous Max-Plus-Linear systems.

Proceedings of the American Control Conference, 2013

2012

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

IEEE/ACM Trans. Comput. Biology Bioinform., 2012

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

IEEE Trans. Automat. Contr., 2012

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

Systems & Control Letters, 2012

Characterization and computation of infinite horizon specifications over Markov processes

CoRR, 2012

On efficient sensor scheduling for linear dynamical systems.

Automatica, 2012

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

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

Regularization of bellman equations for infinite-horizon probabilistic properties.

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

Probabilistic invariance of mixed deterministic-stochastic dynamical systems.

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

Robust PCTL model checking.

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.

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

Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2012

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

Proceedings of the American Control Conference, 2012

2011

Approximate Abstractions of Stochastic Hybrid Systems.

IEEE Trans. Automat. Contr., 2011

Versatile spectral methods for point set matching.

Pattern Recognition Letters, 2011

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.

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

Quantitative automata model checking of autonomous stochastic hybrid systems.

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

On infinite-horizon probabilistic properties and stochastic bisimulation functions.

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

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

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

Approximate abstractions of stochastic systems: A randomized method.

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.

Systems & Control Letters, 2010

Approximate Model Checking of Stochastic Hybrid Systems.

Eur. J. Control, 2010

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

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

On sensor scheduling of linear dynamical systems with error bounds.

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

On the infinite horizon constrained switched LQR problem.

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

Probabilistic bisimulations of switching and resetting diffusions.

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

2009

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

IEEE Trans. Automat. Contr., 2009

Exponential stabilization of discrete-time switched linear systems.

Automatica, 2009

Box invariance in biologically-inspired dynamical systems.

Automatica, 2009

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

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.

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

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

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

A contractivity approach for probabilistic bisimulations of diffusion processes.

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

2008

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

Automatica, 2008

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

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

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.

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

Approximate abstractions of discrete-time controlled stochastic hybrid systems.

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

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

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

2007

The Concept of Deadlock and Livelock in Hybrid Control Systems.

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

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.

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.

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

Box invariance for biologically-inspired dynamical systems.

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

Quantitative and Probabilistic Modeling in Pathway Logic.

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

2006

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.

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