<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/author/Lygeros"><title>BibSonomy publications for /author/Lygeros</title><link>http://www.bibsonomy.org/author/Lygeros</link><description>BibSonomy RSS feed for /author/Lygeros</description><dc:date>2013-05-24T03:02:01+02:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2a6bcc5b6391209cc154e0c5027a42b96/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26d563cea77cf781aadf0b6e7fd1f96e1/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2a1ee3a67793065163ae236f0900ac1e4/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/214ab1ac5f7491b489999a76df4e69285/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2dd913aec407e4a84ce7ab65485ba1198/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/277b8770629314a170d59624f704a5ee3/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21503c2ac46534a64fbc1f7208605bc8f/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2aaa9c524985cbfc9c870befeca6c472e/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/221502efd225b13ea80591935f12eebf6/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/290e78127a794eb5eea334b003d4d041d/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26ca57b2f1c21bb197dc0056681a2d256/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e4701415c509fbf0a045e4d6e6efbe34/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26e5112471653c0e91495be8b27f09e7b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2479abfdc31bff8bdfde745809960fc2c/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23a4fcfd57c9e09f180f56a3644f290be/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2b6b525033e6ce02a20ca74035de94f4b/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28feaade081c3894d4d9838a7799ea1ed/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24a38fd0025263835fd6d6ef7ad958d29/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/227244f11ce09ed16a037a2be75f9130e/dblp"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2915ccb5262928b185caabd8f95612d80/dblp"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2a6bcc5b6391209cc154e0c5027a42b96/dblp"><title>A randomized approach to Stochastic Model Predictive Control.</title><link>http://www.bibsonomy.org/bibtex/2a6bcc5b6391209cc154e0c5027a42b96/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-02-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Prandini&#034;&gt;Maria Prandini&lt;/a&gt;, &lt;a href=&#034;/author/Garatti&#034;&gt;Simone Garatti&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CDC, &lt;/em&gt;&lt;em&gt;page 7315-7320. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26d563cea77cf781aadf0b6e7fd1f96e1/dblp"><title>A dual-stage nanopositioning approach to high-speed scanning probe microscopy.</title><link>http://www.bibsonomy.org/bibtex/26d563cea77cf781aadf0b6e7fd1f96e1/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-02-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Tuma&#034;&gt;Tomas Tuma&lt;/a&gt;, &lt;a href=&#034;/author/Häberle&#034;&gt;Walter Häberle&lt;/a&gt;, &lt;a href=&#034;/author/Rothuizen&#034;&gt;Hugo E. Rothuizen&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;, &lt;a href=&#034;/author/Pantazi&#034;&gt;Angeliki Pantazi&lt;/a&gt;,  and &lt;a href=&#034;/author/Sebastian&#034;&gt;Abu Sebastian&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CDC, &lt;/em&gt;&lt;em&gt;page 5079-5084. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2a1ee3a67793065163ae236f0900ac1e4/dblp"><title>A tractable nonlinear fault detection and isolation technique with application to the cyber-physical security of power systems.</title><link>http://www.bibsonomy.org/bibtex/2a1ee3a67793065163ae236f0900ac1e4/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-02-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Esfahani&#034;&gt;P. Mohajerin Esfahani&lt;/a&gt;, &lt;a href=&#034;/author/Vrakopoulou&#034;&gt;Maria Vrakopoulou&lt;/a&gt;, &lt;a href=&#034;/author/Andersson&#034;&gt;Göran Andersson&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CDC, &lt;/em&gt;&lt;em&gt;page 3433-3438. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/214ab1ac5f7491b489999a76df4e69285/dblp"><title>Multi-objective optimal control of stochastic hybrid systems.</title><link>http://www.bibsonomy.org/bibtex/214ab1ac5f7491b489999a76df4e69285/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-02-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Summers&#034;&gt;Sean Summers&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CDC, &lt;/em&gt;&lt;em&gt;page 1474-1479. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2dd913aec407e4a84ce7ab65485ba1198/dblp"><title>High-Level Modeling and Analysis of TCAS.</title><link>http://www.bibsonomy.org/bibtex/2dd913aec407e4a84ce7ab65485ba1198/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-01-23T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Livadas&#034;&gt;Carolos Livadas&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;,  and &lt;a href=&#034;/author/Lynch&#034;&gt;Nancy A. Lynch&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;RTSS, &lt;/em&gt;&lt;em&gt;page 115-125. &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;1999&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/277b8770629314a170d59624f704a5ee3/dblp"><title>Distributed Model Predictive Consensus via the Alternating Direction Method of Multipliers</title><link>http://www.bibsonomy.org/bibtex/277b8770629314a170d59624f704a5ee3/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-01-02T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Summers&#034;&gt;Tyler H. Summers&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/21503c2ac46534a64fbc1f7208605bc8f/dblp"><title>Approximate Dynamic Programming via Sum of Squares Programming</title><link>http://www.bibsonomy.org/bibtex/21503c2ac46534a64fbc1f7208605bc8f/dblp</link><dc:creator>dblp</dc:creator><dc:date>2013-01-02T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Summers&#034;&gt;Tyler H. Summers&lt;/a&gt;, &lt;a href=&#034;/author/Kunz&#034;&gt;Konstantin Kunz&lt;/a&gt;, &lt;a href=&#034;/author/Kariotoglou&#034;&gt;Nikolaos Kariotoglou&lt;/a&gt;, &lt;a href=&#034;/author/Kamgarpour&#034;&gt;Maryam Kamgarpour&lt;/a&gt;, &lt;a href=&#034;/author/Summers&#034;&gt;Sean Summers&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2aaa9c524985cbfc9c870befeca6c472e/dblp"><title>Design of importance-map based randomized patrolling strategies.</title><link>http://www.bibsonomy.org/bibtex/2aaa9c524985cbfc9c870befeca6c472e/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-12-20T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Huck&#034;&gt;Stephan M. Huck&lt;/a&gt;, &lt;a href=&#034;/author/Kariotoglou&#034;&gt;Nikolaos Kariotoglou&lt;/a&gt;, &lt;a href=&#034;/author/Summers&#034;&gt;Sean Summers&lt;/a&gt;, &lt;a href=&#034;/author/Raimondo&#034;&gt;Davide Martino Raimondo&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;COMPENG, &lt;/em&gt;&lt;em&gt;page 1-6. &lt;/em&gt;&lt;em&gt;IEEE, &lt;/em&gt;(&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/221502efd225b13ea80591935f12eebf6/dblp"><title>Motion Planning via Optimal Control for Stochastic Processes</title><link>http://www.bibsonomy.org/bibtex/221502efd225b13ea80591935f12eebf6/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-12-01T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Esfahani&#034;&gt;Peyman Mohajerin Esfahani&lt;/a&gt;, &lt;a href=&#034;/author/Chatterjee&#034;&gt;Debasish Chatterjee&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;CoRR&lt;/em&gt;  (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/290e78127a794eb5eea334b003d4d041d/dblp"><title>Stable Networked Control Systems With Bounded Control Authority.</title><link>http://www.bibsonomy.org/bibtex/290e78127a794eb5eea334b003d4d041d/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-29T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Hokayem&#034;&gt;Peter Hokayem&lt;/a&gt;, &lt;a href=&#034;/author/Chatterjee&#034;&gt;Debasish Chatterjee&lt;/a&gt;, &lt;a href=&#034;/author/Ramponi&#034;&gt;Federico Ramponi&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;57(12):3153-3157&lt;/em&gt; (&lt;em&gt;2012&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26ca57b2f1c21bb197dc0056681a2d256/dblp"><title>On the exponential stability of switching diffusion processes.</title><link>http://www.bibsonomy.org/bibtex/26ca57b2f1c21bb197dc0056681a2d256/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-19T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Yuan&#034;&gt;Chenggui Yuan&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;50(9):1422-1426&lt;/em&gt; (&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2e4701415c509fbf0a045e4d6e6efbe34/dblp"><title>Discussion on: &#034;Switched Integrator Control Schemes for Integrating Plants&#034;.</title><link>http://www.bibsonomy.org/bibtex/2e4701415c509fbf0a045e4d6e6efbe34/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-08T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;Eur. J. Control&lt;/em&gt; &lt;em&gt;9(6):560-565&lt;/em&gt; (&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26e5112471653c0e91495be8b27f09e7b/dblp"><title>A Component-Based Approach to the Design of Networked Control Systems.</title><link>http://www.bibsonomy.org/bibtex/26e5112471653c0e91495be8b27f09e7b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Årzén&#034;&gt;Karl-Erik Årzén&lt;/a&gt;, &lt;a href=&#034;/author/Bicchi&#034;&gt;Antonio Bicchi&lt;/a&gt;, &lt;a href=&#034;/author/Dini&#034;&gt;Gianluca Dini&lt;/a&gt;, &lt;a href=&#034;/author/Hailes&#034;&gt;Stephen Hailes&lt;/a&gt;, &lt;a href=&#034;/author/Johansson&#034;&gt;Karl Henrik Johansson&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;,  and &lt;a href=&#034;/author/Tzes&#034;&gt;Anthony Tzes&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;Eur. J. Control&lt;/em&gt; &lt;em&gt;13(2-3):261-279&lt;/em&gt; (&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2479abfdc31bff8bdfde745809960fc2c/dblp"><title>Hybrid Control of Networked Embedded Systems.</title><link>http://www.bibsonomy.org/bibtex/2479abfdc31bff8bdfde745809960fc2c/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-07T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Balluchi&#034;&gt;Andrea Balluchi&lt;/a&gt;, &lt;a href=&#034;/author/Benvenuti&#034;&gt;Luca Benvenuti&lt;/a&gt;, &lt;a href=&#034;/author/Engell&#034;&gt;Sebastian Engell&lt;/a&gt;, &lt;a href=&#034;/author/Geyer&#034;&gt;Tobias Geyer&lt;/a&gt;, &lt;a href=&#034;/author/Johansson&#034;&gt;Karl Henrik Johansson&lt;/a&gt;, &lt;a href=&#034;/author/Lamnabhi-Lagarrigue&#034;&gt;Françoise Lamnabhi-Lagarrigue&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;, &lt;a href=&#034;/author/Morari&#034;&gt;Manfred Morari&lt;/a&gt;, &lt;a href=&#034;/author/Papafotiou&#034;&gt;Georgios Papafotiou&lt;/a&gt;, &lt;a href=&#034;/author/Sangiovanni-Vincentelli&#034;&gt;Alberto L. Sangiovanni-Vincentelli&lt;/a&gt;, &lt;a href=&#034;/author/Santucci&#034;&gt;Fortunato Santucci&lt;/a&gt;,  and &lt;a href=&#034;/author/Stursberg&#034;&gt;Olaf Stursberg&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;Eur. J. Control&lt;/em&gt; &lt;em&gt;11(4-5):478-508&lt;/em&gt; (&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23a4fcfd57c9e09f180f56a3644f290be/dblp"><title>Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications.</title><link>http://www.bibsonomy.org/bibtex/23a4fcfd57c9e09f180f56a3644f290be/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-06T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;,  and &lt;a href=&#034;/author/Prandini&#034;&gt;Maria Prandini&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;Eur. J. Control&lt;/em&gt; &lt;em&gt;16(6):583-594&lt;/em&gt; (&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2b6b525033e6ce02a20ca74035de94f4b/dblp"><title>Approximate Model Checking of Stochastic Hybrid Systems.</title><link>http://www.bibsonomy.org/bibtex/2b6b525033e6ce02a20ca74035de94f4b/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-11-06T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Abate&#034;&gt;Alessandro Abate&lt;/a&gt;, &lt;a href=&#034;/author/Katoen&#034;&gt;Joost-Pieter Katoen&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;,  and &lt;a href=&#034;/author/Prandini&#034;&gt;Maria Prandini&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;Eur. J. Control&lt;/em&gt; &lt;em&gt;16(6):624-641&lt;/em&gt; (&lt;em&gt;2010&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/28feaade081c3894d4d9838a7799ea1ed/dblp"><title>Impulse differential inclusions: a viability approach to hybrid systems.</title><link>http://www.bibsonomy.org/bibtex/28feaade081c3894d4d9838a7799ea1ed/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-10-29T00:00:00+01:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Aubin&#034;&gt;Jean-Pierre Aubin&lt;/a&gt;, &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;, &lt;a href=&#034;/author/Quincampoix&#034;&gt;Marc Quincampoix&lt;/a&gt;, &lt;a href=&#034;/author/Sastry&#034;&gt;Shankar Sastry&lt;/a&gt;,  and &lt;a href=&#034;/author/Seube&#034;&gt;Nicolas Seube&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;47(1):2-20&lt;/em&gt; (&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/24a38fd0025263835fd6d6ef7ad958d29/dblp"><title>Dynamical properties of hybrid automata.</title><link>http://www.bibsonomy.org/bibtex/24a38fd0025263835fd6d6ef7ad958d29/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-10-25T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;, &lt;a href=&#034;/author/Johansson&#034;&gt;Karl Henrik Johansson&lt;/a&gt;, &lt;a href=&#034;/author/Simic&#034;&gt;Slobodan N. Simic&lt;/a&gt;, &lt;a href=&#034;/author/Zhang&#034;&gt;Jun Zhang&lt;/a&gt;,  and &lt;a href=&#034;/author/Sastry&#034;&gt;Shankar S. Sastry&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;48(1):2-17&lt;/em&gt; (&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/227244f11ce09ed16a037a2be75f9130e/dblp"><title>Reachability analysis of discrete-time systems with disturbances.</title><link>http://www.bibsonomy.org/bibtex/227244f11ce09ed16a037a2be75f9130e/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-10-11T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Rakovic&#034;&gt;Sasa V. Rakovic&lt;/a&gt;, &lt;a href=&#034;/author/Kerrigan&#034;&gt;Eric C. Kerrigan&lt;/a&gt;, &lt;a href=&#034;/author/Mayne&#034;&gt;David Q. Mayne&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;51(4):546-561&lt;/em&gt; (&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2915ccb5262928b185caabd8f95612d80/dblp"><title>Asymptotic stability and boundedness of delay switching diffusions.</title><link>http://www.bibsonomy.org/bibtex/2915ccb5262928b185caabd8f95612d80/dblp</link><dc:creator>dblp</dc:creator><dc:date>2012-10-11T00:00:00+02:00</dc:date><dc:subject>dblp </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Yuan&#034;&gt;Chenggui Yuan&lt;/a&gt;,  and &lt;a href=&#034;/author/Lygeros&#034;&gt;John Lygeros&lt;/a&gt;. &lt;/span&gt;&lt;em&gt;IEEE Trans. Automat. Contr.&lt;/em&gt; &lt;em&gt;51(1):171-175&lt;/em&gt; (&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp"/></rdf:Bag></taxo:topics></item></rdf:RDF>