[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by date, Alessandro Abate"></meta><meta name="description" content="Publications, by date, Department of Computer Science, Oxford, Alessandro Abate"></meta><title>Department of Computer Science, University of Oxford: Alessandro Abate : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Alessandro.Abate"><span itemprop="name">Alessandro Abate</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Alessandro Abate : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Alessandro.Abate.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Alessandro.Abate.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Alessandro.Abate.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Alessandro.Abate.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Automated formal synthesis of provably safe digital controllers for continuous plants </strong> </p>
	    <p class="publicationAuthors"> <em> Alessandro Abate&#x201a; Iury Bessa&#x201a; Lucas Cordeiro&#x201a; Cristina David&#x201a; Pascal Kesseli&#x201a; Daniel Kroening and Elizabeth Polgreen  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Acta Informatica</em>.
        December,
            2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13800-abstract.html">
			Details <span class="sr-only" > about <em> Automated formal synthesis of provably safe digital controllers for continuous plants  </em></span> </a> |
			<a href="/publications/publication13800.bib">
			BibTeX  <span class="sr-only" > data for <em> Automated formal synthesis of provably safe digital controllers for continuous plants  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/s00236-019-00359-1">
		DOI (10.1007/s00236-019-00359-1)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Data&#x2212;efficient Verification of Parametric Markov Chains </strong> </p>
	    <p class="publicationAuthors"> <em> A. Abate E. Polgreen V. Wijesuriya S. Haesaert  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Quantitative Evaluation of SysTems (QEST)</em>.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10260-abstract.html">
			Details <span class="sr-only" > about <em> Data&#x2212;efficient Verification of Parametric Markov Chains  </em></span> </a> |
			<a href="/publications/publication10260.bib">
			BibTeX  <span class="sr-only" > data for <em> Data&#x2212;efficient Verification of Parametric Markov Chains  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-43425-4_3">
		DOI (10.1007/978-3-319-43425-4_3)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks </strong> </p>
	    <p class="publicationAuthors"> <em> A. Abate&#x201a; S. Vincent&#x201a; R. Dobbe&#x201a; A. Silletti&#x201a; N. Master&#x201a; J. Axelrod and C. Tomlin  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)</em>.
        
            Vol. 9.
        
                Pages 1607&#x2212;1620.
            2012.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7999-abstract.html">
			Details <span class="sr-only" > about <em> A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks  </em></span> </a> |
			<a href="/publications/publication7999.bib">
			BibTeX  <span class="sr-only" > data for <em> A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/TCBB.2012.126">
		DOI (10.1109/TCBB.2012.126)
		</a> 
					| <a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6319287"> Link <span class="sr-only" > to <em> A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Approximate Model Checking of Stochastic Hybrid Systems </strong> </p>
	    <p class="publicationAuthors"> <em> A. Abate&#x201a; J.P. Katoen&#x201a; J. Lygeros and M. Prandini  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>European Journal of Control</em>.
        
            Vol. 16.
        
            No. 6.
        
                Pages 624&#x2212;641.
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7996-abstract.html">
			Details <span class="sr-only" > about <em> Approximate Model Checking of Stochastic Hybrid Systems  </em></span> </a> |
			<a href="/publications/publication7996.bib">
			BibTeX  <span class="sr-only" > data for <em> Approximate Model Checking of Stochastic Hybrid Systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.3166/ejc.16.624-641">
		DOI (10.3166/ejc.16.624-641)
		</a> 
					| <a href="http://www.sciencedirect.com/science/article/pii/S0947358010706919"> Link <span class="sr-only" > to <em> Approximate Model Checking of Stochastic Hybrid Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Exponential Stabilizaiton of Discrete&#x2212;time Switched Linear Systems </strong> </p>
	    <p class="publicationAuthors"> <em> W. Zhang&#x201a; A. Abate&#x201a; J. Hu and M.P. Vitus  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Automatica</em>.
        
            Vol. 45.
        
            No. 11.
        
                Pages 2526&#x2212;2536.
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7998-abstract.html">
			Details <span class="sr-only" > about <em> Exponential Stabilizaiton of Discrete&#x2212;time Switched Linear Systems  </em></span> </a> |
			<a href="/publications/publication7998.bib">
			BibTeX  <span class="sr-only" > data for <em> Exponential Stabilizaiton of Discrete&#x2212;time Switched Linear Systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.automatica.2009.07.018">
		DOI (10.1016/j.automatica.2009.07.018)
		</a> 
					| <a href="http://www.sciencedirect.com/science/article/pii/S0005109809003677"> Link <span class="sr-only" > to <em> Exponential Stabilizaiton of Discrete&#x2212;time Switched Linear Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems </strong> </p>
	    <p class="publicationAuthors"> <em> A. Abate&#x201a; M. Prandini&#x201a; J. Lygeros and S. Sastry  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Automatica Journal of IFAC</em>.
        
            Vol. 44.
        
            No. 1.
        
                Pages 2724&#x2212;2734.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication7997-abstract.html">
			Details <span class="sr-only" > about <em> Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems  </em></span> </a> |
			<a href="/publications/publication7997.bib">
			BibTeX  <span class="sr-only" > data for <em> Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.automatica.2008.03.027">
		DOI (10.1016/j.automatica.2008.03.027)
		</a> 
					| <a href="http://www.sciencedirect.com/science/article/pii/S0005109808002677"> Link <span class="sr-only" > to <em> Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]