#### Filter Results:

- Full text PDF available (99)

#### Publication Year

2004

2018

- This year (25)
- Last 5 years (100)
- Last 10 years (151)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Method

#### Organism

Learn More

- Alessandro Abate, Maria Prandini, John Lygeros, S. Shankar Sastry
- Automatica
- 2008

In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of the reachabilityâ€¦ (More)

- Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini
- Eur. J. Control
- 2010

A method for approximate model checking of stochastic hybrid systems with provable approximation guarantees is proposed. We focus on the probabilistic invariance problem for discrete time stochasticâ€¦ (More)

- Wei Zhang, Alessandro Abate, Jianghai Hu, Michael P. Vitus
- Automatica
- 2009

This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. It is proved that a switched linear system isâ€¦ (More)

This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It is first arguedâ€¦ (More)

- Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin
- Proceedings of the 2010 American Controlâ€¦
- 2010

Consider a set of sensors estimating the state of a process in which only one of these sensors can operate at each time-step due to constraints on the overall system. The problem addressed here is toâ€¦ (More)

- Wei Zhang, Michael P. Vitus, Jianghai Hu, Alessandro Abate, Claire J. Tomlin
- IEEE Transactions on Automatic Control
- 2010

This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infinite-horizonâ€¦ (More)

A model for discrete time stochastic hybrid systems whose evolution can be influenced by some control input is proposed in this paper. With reference to the introduced class of systems, a methodologyâ€¦ (More)

- Wei Zhang, Jianghai Hu, Alessandro Abate
- IEEE Transactions on Automatic Control
- 2012

This paper studies the quadratic regulation problem for discrete-time switched linear systems (DSLQR problem) on an infinite time horizon. A general relaxation framework is developed to simplify theâ€¦ (More)

- Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto
- 2008 47th IEEE Conference on Decision and Control
- 2008

This work presents a procedure to construct a finite abstraction of a controlled discrete-time stochastic hybrid system. The state space and the control space of the original system are partitionedâ€¦ (More)

- Wei Zhang, Jianghai Hu, Alessandro Abate
- IEEE Transactions on Automatic Control
- 2009

In this paper, we derive some important properties for the finite-horizon and the infinite-horizon value functions associated with the discrete-time switched LQR (DSLQR) problem. It is proved thatâ€¦ (More)