Statistical Verification of PCTL Using Stratified Samples - Wang, Yu; Roohi, Nima; Viswanathan, Mahesh; Dullerud, Geir E.; West, Matthew

Observability of Linear Hybrid Systems with unknown inputs and constrained discrete dynamics - Vazquez, Carlos Renato; Gómez-Gutiérrez, David; Ramirez-Trevino, Antonio

Algorithm for Polynomial Control Design - Hamadneh, Tareq; Wisniewski, Rafal Bernstein

Switch induced instabilities for stable power system DAE models - Groß, Tjorben; Trenn, Stephan; Wirsen, Andreas

Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems. - Abreu, Amanda; Bourdais, Romain; Gueguen, Herve

Co-design of state-feedback controllers and stochastic transmission policies for linear wireless networked control systems - Marcorin de Oliveira, André; Satheeskumar Varma, Vineeth; Postoyan, Romain; Morarescu, Irinel Constantin; Daafouz, Jamal; Costa, Oswaldo Luiz V.

Space-Time Budget Allocation for Marketing Over Social Networks - Morarescu, Irinel Constantin; Satheeskumar Varma, Vineeth; Busoniu, Lucian; Lasaulce, Samson

Reachability Analysis for One Dimensional Linear Parabolic Equation - Tran, Hoang-Dung; Xiang, Weiming; Bak, Stanley; Johnson, Taylor T

Safety control, a quantitative approach - Eqtami, Alina; Girard, Antoine

A switched system approach to optimize mixing of fluids - Dolk, Victor; Lauret, Menno; Antunes, Duarte; Anderson, Patrick; Heemels, Maurice

Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales - Ben Nasser, Bacem; Defoort, Michael; DJEMAI, Mohamed; Laleg, Taous-Meriem

Higher-Dimensional Timed Automata - Fahrenberg, Ulrich

Verifying nonlinear analog and mixed-signal circuits with inputs - Fan, Chuchu; Meng, Yu; Maier, Jürgen; Bartocci, Ezio; Mitra, Sayan; Schmid, Ulrich

Stability of switched systems on non-uniform time domains with non commuting matrices - Taousser, Fatima Zohra; Defoort, Michael; Djemai, Mohamed; Djouadi, Seddik

Concentration of Measure for Chance-Constrained Optimization - Soudjani, Sadegh; Majumdar, Rupak

Optimal Symbolic Controllers Determinization for BDD storage. - Zapreev, Ivan; Verdier, Cees; Mazo Jr., Manuel

On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems - Goyal, Manish; Duggirala, Parasara Sridhar

Occupation measure methods for modelling and analysis of biological hybrid systems - Rocca, Alexandre; Forets, Marcelo; Magron, Victor; Fanchon, Eric; Dang, Thao

On approximate predictability of metric systems - Fiore, Gabriella; De Santis, Elena; Pola, Giordano; Di Benedetto, M. Domenica

Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion - Meng, Xiangyu; Houshmand, Arian; Cassandras, Christos G.

CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation - Bohrer, Brandon; Chuang, Xue An; Luo, Adriel; Platzer, Andre

On invariance and reachability analysis on semialgebraic sets for linear dynamics - Athanasopoulos, Nikolaos; Jungers, Raphaël M.

Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks - Wardi, Yorai; Seatzu, Carla; Egerstedt, Magnus

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems - Kido, Kengo; Sedwards, Sean; Hasuo, Ichiro

Multi-Energy Scheduling Using a Hybrid Systems Approach - Krishnan, Ashok; Sampath, Mohasha Isuru; Foo, Yi Shyh Eddy; Patil, Bhagyesh

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games - Vazquez-Chanlatte, Marcell; Ghosh, Shromona; Raman, Vasumathi; Sangiovanni-vincentelli, Alberto; Seshia, Sanjit

Data-driven Switched Affine Modeling for Model Predictive Control - Smarra, Francesco; Jain, Achin; Mangharam, Rahul; D'Innocenzo, Alessandro

Symbolic models for incrementally stable switched systems with aperiodic time sampling - Kader, Zohra; Girard, Antoine; Saoud, Adnane

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach - Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid

t-Barrier Certificates: A Continuous Analogy to k-Induction - Bak, Stanley

Approximate Abstractions of Markov Chains with Interval Decision Processes - Zacchia Lun, Yuriy; Wheatley, Jack; D'Innocenzo, Alessandro; Abate, Alessandro

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method - Le Coent, Adrien; Fribourg, Laurent; Vacher, Jonathan

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems - Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid; Girard, Antoine

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings - Bulancea Lindvall, Oscar; Nilsson, Petter; Ozay, Necmiye

Benchmarks for cyber-physical systems: A modular model library for building automation systems - Cauchi, Nathalie Margaret; Abate, Alessandro

Temporal logic control of general Markov decision processes by approximate policy refinement - Haesaert, Sofie; Soudjani, Sadegh; Abate, Alessandro

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets - Cubuktepe, Murat; Ahmadi, Mohamadreza; Topcu, Ufuk; Hencey, Brandon

Language constrained stabilization of discrete-time switched linear systems: an LMI approach - Jungers, Marc; Girard, Antoine; Fiacchini, Mirko

Estimating Reach Probability for Generalized Stochastic Hybrid Systems - Blom, Henk A.P.; Ma, Hao; Bakker, Bert G.J.

A controlled sewer system should be treated as a sampled data system with events - Van Nooijen, Ronald Robert Paul; Kolechkina, Alla G.

A Hybrid Optimal Control Approach to Mean Field Games with Switching and Stopping Straggles - Firoozi, Dena; Pakniyat, Ali; Caines, Peter E.

An Interval-based Sliding Horizon Motion Planning Method - Alexandre dit Sandretto, Julien; Brendel, Elliot; Chapoutot, Alexandre

Falsification of Temporal Logic Requirements Using a Gradient Based Local Search in Space and Time - Yaghoubi, Shakiba; Fainekos, Georgios

Computing controlled invariant sets for hybrid systems with applications to model-predictive control - Legat, Benoît; Tabuada, Paulo; Jungers, Raphaël M.

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations - Haesaert, Sofie; Nilsson, Petter; Vasile, Cristian-Ioan; Rohan, Thakker; Agha-Mohammadi, Ali-akbar; Ames, Aaron; Murray, Richard M.

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS - Nguyen, Luan; Hoxha, Bardh; Johnson, Taylor T; Fainekos, Georgios

Input Design for Nonlinear Model Discrimination via Affine Abstraction - Singh, Kanishka Raj; Ding, Yuhao; Ozay, Necmiye; Yong, Sze Zheng

Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data - Rutledge, Kwesi Joe; Yong, Sze Zheng; Ozay, Necmiye

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks - Dutta, Souradeep; jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish

Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters - Estrada, Ariadna; Mitchell, Ian M.

Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems - Han, Hyejin; Sanfelice, Ricardo.