Editor: Alessandro Abate

Yu Wang, Nima Roohi, Mahesh Viswanathan, Geir E. Dullerud and Matthew WestStatistical Verification of PCTL Using Stratified Samples Jul 11 14:50
Carlos Renato Vazquez, David Gómez-Gutiérrez and Antonio Ramirez-TrevinoObservability of Linear Hybrid Systems with Unknown Inputs and Discrete Dynamics Modeled by Petri NetsJul 12 11:15
Tjorben Groß, Stephan Trenn and Andreas WirsenSwitch induced instabilities for stable power system DAE modelsJul 11 17:00
Amanda Abreu, Romain Bourdais and Herve GueguenHierarchical Model Predictive Control for Building Energy Management of Hybrid Systems Jul 12 16:35
André Marcorin de Oliveira, Vineeth Satheeskumar Varma, Romain Postoyan, Irinel Constantin Morarescu, Jamal Daafouz and Oswaldo Luiz V. CostaNetwork-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control SystemsJul 12 14:00
Irinel Constantin Morarescu, Vineeth Satheeskumar Varma, Lucian Busoniu and Samson LasaulceSpace-Time Budget Allocation for Marketing Over Social Networks Jul 12 14:25
Hoang-Dung Tran, Weiming Xiang, Stanley Bak and Taylor T JohnsonReachability Analysis for One Dimensional Linear Parabolic Equation Jul 12 10:50
Alina Eqtami and Antoine GirardSafety Control, a Quantitative Approach Jul 12 14:25
Victor Dolk, Menno Lauret, Duarte Antunes, Patrick Anderson and Maurice HeemelsA switched system approach to optimize mixing of fluidsJul 11 11:15
Bacem Ben Nasser, Michael Defoort, Mohamed Djemai and Taous-Meriem Laleg-KiratiRazumikhin-type Theorems on Practical Stability of Dynamic Equations on Time ScalesJul 11 16:35
Ulrich FahrenbergHigher-Dimensional Timed Automata Jul 11 17:00
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra and Ulrich SchmidVerifying nonlinear analog and mixed-signal circuits with inputsJul 12 17:00
Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai and Seddik DjouadiStability of switched systems on non-uniform time domains with non commuting matricesJul 11 11:40
Sadegh Soudjani and Rupak MajumdarConcentration of Measure for Chance-Constrained Optimization Jul 13 11:40
Ivan Zapreev, Cees Verdier and Manuel Mazo Jr.Optimal Symbolic Controllers Determinization for BDD storage.Jul 11 10:50
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon and Thao DangOccupation Measure Methods for Modelling and Analysis of Biological Hybrid Systems Jul 12 14:00
Gabriella Fiore, Elena De Santis, Giordano Pola and Maria Domenica Di BenedettoOn Approximate Predictability of Metric Systems Jul 12 11:40
Xiangyu Meng, Arian Houshmand and Christos G. CassandrasHybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion Jul 12 15:15
Brandon Bohrer, Adriel Luo, Xue An Chuang and Andre PlatzerCoasterX: A Case Study in Component-Driven Hybrid Systems Proof AutomationJul 11 14:25
Yorai Wardi, Carla Seatzu and Magnus EgerstedtTracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent NetworksJul 12 14:50
Kengo Kido, Sean Sedwards and Ichiro HasuoBounding Errors Due to Switching Delays in Incrementally Stable Switched SystemsJul 12 16:10
Ashok Krishnan, Mohasha Isuru Sampath, Yi Shyh Eddy Foo, Bhagyesh Patil and H. B. GooiMulti-Energy Scheduling Using a Hybrid Systems ApproachJul 12 16:10
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto Sangiovanni-Vincentelli and Sanjit SeshiaGenerating Dominant Strategies for Continuous Two-Player Zero-Sum Games Jul 11 11:15
Abolfazl Lavaei, Sadegh Soudjani and Majid ZamaniCompositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach Jul 13 10:50
Stanley BakT-Barrier Certificates: A Continuous Analogy to K-Induction Jul 12 11:40
Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo and Alessandro AbateApproximate Abstractions of Markov Chains with Interval Decision Processes Jul 11 15:15
Adrien Le Coent, Laurent Fribourg and Jonathan VacherControl Synthesis for Stochastic Switched Systems Using the Tamed Euler Method Jul 12 17:00
Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine GirardCompositional Abstraction-based Synthesis for Cascade Discrete-Time Control SystemsJul 11 11:40
Oscar Bulancea Lindvall, Petter Nilsson and Necmiye OzayNonuniform abstractions, refinement and controller synthesis with novel BDD encodingsJul 11 12:05
Nathalie Margaret Cauchi and Alessandro AbateBenchmarks for Cyber-Physical Systems: A Modular Model Library for Building Automation Systems Jul 11 14:00
Sofie Haesaert, Sadegh Soudjani and Alessandro AbateTemporal Logic Control of General Markov Decision Processes by Approximate Policy RefinementJul 11 14:00
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu and Brandon HenceyCompositional Analysis of Hybrid Systems Defined Over Finite Alphabets Jul 11 16:10
Marc Jungers, Antoine Girard and Mirko FiacchiniLanguage constrained stabilization of discrete- time switched linear systems: an LMI approachJul 11 10:50
Henk A.P. Blom, Hao Ma and Bert G.J. BakkerInteracting Particle System-Based Estimation of Reach Probability for a Generalized Stochastic Hybrid System Jul 11 14:25
Ronald Robert Paul van Nooijen and Alla G. KolechkinaA controlled sewer system should be treated as a sampled data system with eventsJul 11 14:50
Julien Alexandre Dit Sandretto, Elliot Brendel and Alexandre ChapoutotAn Interval-Based Sliding Horizon Motion Planning Method Jul 13 14:50
Shakiba Yaghoubi and Georgios FainekosFalsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time Jul 11 16:35
Benoît Legat, Paulo Tabuada and Raphaël M. JungersComputing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control Jul 12 14:50
Sofie Haesaert, Petter Nilsson, Cristian-Ioan Vasile, Thakker Rohan, Ali-Akbar Agha-Mohammadi, Aaron Ames and Richard M. MurrayTemporal Logic Control of POMDPs Via Label-Based Stochastic Simulation Relations Jul 13 11:15
Luan Nguyen, Bardh Hoxha, Taylor T Johnson and Georgios FainekosMission Planning for Multiple Vehicles with Temporal Specifications using UxASJul 11 15:15
Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay and Sze Zheng YongInput Design for Nonlinear Model Discrimination Via Affine Abstraction Jul 12 12:05
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan and Ashish TiwariLearning and Verification of Feedback Control Systems Using Feedforward Neural Networks Jul 12 12:05
Ariadna Estrada and Ian M. MitchellControl Synthesis and Classification for Unicycle Dynamics Using the Gradient and Value Sampling Particle Filters Jul 13 14:25
Hyejin Han and Ricardo SanfeliceSufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical SystemsJul 11 16:10
Tareq Hamadneh and Rafal WisniewskiAlgorithm for Bernstein Polynomial Control Design Jul 13 14:00
Manish Goyal and Parasara Sridhar DuggiralaOn Generating A Variety of Unsafe Counterexamples for Linear Dynamical SystemsJul 12 11:15
Nikolaos Athanasopoulos and Raphaël M. JungersOn invariance and reachability on semialgebraic sets for linear dynamicsJul 11 12:05
Francesco Smarra, Achin Jain, Rahul Mangharam and Alessandro D'InnocenzoData-Driven Switched Affine Modeling for Model Predictive Control Jul 12 15:15
Zohra Kader, Antoine Girard and Adnane SaoudSymbolic Models for Incrementally Stable Switched Systems with Aperiodic Time Sampling Jul 12 16:35
Kwesi Rutledge, Sze Zheng Yong and Necmiye OzayOptimization-Based Design of Bounded-Error Estimators Robust to Missing DataJul 12 10:50