Abstract is missing.
- Optimal Symbolic Controllers Determinization for BDD storageIvan S. Zapreev, Cees Verdier, Manuel Mazo Jr.. 1-6 [doi]
- Generating Dominant Strategies for Continuous Two-Player Zero-Sum GamesMarcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. 7-12 [doi]
- Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control SystemsAdnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. 13-18 [doi]
- Nonuniform abstractions, refinement and controller synthesis with novel BDD encodingsOscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay. 19-24 [doi]
- Language constrained stabilization of discrete-time switched linear systems: an LMI approachMarc Jungers, Antoine Girard, Mirko Fiacchini. 25-30 [doi]
- A switched system approach to optimize mixing of fluidsVictor S. Dolk, Menno Lauret, Duarte J. Antunes, Patrick D. Anderson, W. P. M. H. Heemels. 31-36 [doi]
- Stability of switched systems on non-uniform time domains with non commuting matricesFatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik M. Djouadi, Kevin Tomsovic. 37-42 [doi]
- On invariance and reachability on semialgebraic sets for linear dynamicsNikolaos Athanasopoulos, Raphaël M. Jungers. 43-48 [doi]
- Benchmarks for cyber-physical systems: A modular model library for building automation systemsNathalie Cauchi, Alessandro Abate. 49-54 [doi]
- CoasterX: A Case Study in Component-Driven Hybrid Systems Proof AutomationBrandon Bohrer, Adriel Luo, Xue An Chuang, André Platzer. 55-60 [doi]
- A controlled sewer system should be treated as a sampled data system with eventsRonald R. P. van Nooijen, Alla G. Kolechkina. 61-66 [doi]
- Mission Planning for Multiple Vehicles with Temporal Specifications using UxASLuan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos. 67-72 [doi]
- Temporal logic control of general Markov decision processes by approximate policy refinementSofie Haesaert, Sadegh Soudjani, Alessandro Abate. 73-78 [doi]
- Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid SystemHenk A. P. Blom, Hao Ma, G. J. Bakker. 79-84 [doi]
- Statistical Verification of PCTL Using Stratified SamplesYu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. 85-90 [doi]
- Approximate Abstractions of Markov Chains with Interval Decision ProcessesYuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate. 91-96 [doi]
- Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical SystemsHyejin Han, Ricardo G. Sanfelice. 97-102 [doi]
- Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and TimeShakiba Yaghoubi, Georgios Fainekos. 103-108 [doi]
- Higher-Dimensional Timed AutomataUli Fahrenberg. 109-114 [doi]
- Compositional Analysis of Hybrid Systems Defined Over Finite AlphabetsMurat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey. 115-120 [doi]
- Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time ScalesBacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati. 121-126 [doi]
- Switch induced instabilities for stable power system DAE modelsTjorben B. Gross, Stephan Trenn, Andreas Wirsen. 127-132 [doi]
- Reachability Analysis for One Dimensional Linear Parabolic EquationsHoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson. 133-138 [doi]
- On Generating A Variety of Unsafe Counterexamples for Linear Dynamical SystemsManish Goyal 0002, Parasara Sridhar Duggirala. 139-144 [doi]
- k-InductionStanley Bak. 145-150 [doi]
- Learning and Verification of Feedback Control Systems using Feedforward Neural NetworksSouradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. 151-156 [doi]
- Optimization-Based Design of Bounded-Error Estimators Robust to Missing DataKwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay. 157-162 [doi]
- Observability of Linear Hybrid Systems with unknown inputs and discrete dynamics modeled by Petri netsCarlos Renato Vázquez, David Gómez-Gutiérrez, Antonio Ramírez-Treviño. 163-168 [doi]
- On approximate predictability of metric systemsGabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto. 169-174 [doi]
- Input Design for Nonlinear Model Discrimination via Affine AbstractionKanishka Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong. 175-180 [doi]
- Occupation measure methods for modelling and analysis of biological hybrid systemsAlexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang. 181-186 [doi]
- Safety control, a quantitative approachAlina Eqtami, Antoine Girard. 187-192 [doi]
- Computing controlled invariant sets for hybrid systems with applications to model-predictive controlBenoît Legat, Paulo Tabuada, Raphaël M. Jungers. 193-198 [doi]
- Data-driven Switched Affine Modeling for Model Predictive ControlFrancesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo. 199-204 [doi]
- Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control SystemsAndré Marcorin de Oliveira, Vineeth S. Varma, Romain Postoyan, Irinel-Constantin Morarescu, Jamal Daafouz, Oswaldo L. V. Costa. 205-210 [doi]
- Space-time budget allocation for marketing over social networksIrinel-Constantin Morarescu, Vineeth Satheeskumar Varma, Lucian Busoniu, Samson Lasaulce. 211-216 [doi]
- Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent NetworksYorai Wardi, Carla Seatzu, Magnus Egerstedt. 217-222 [doi]
- Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and RepletionXiangyu Meng, Arian Houshmand, Christos G. Cassandras. 223-228 [doi]
- Multi-Energy Scheduling Using a Hybrid Systems ApproachAshok Krishnan, L. P. M. I. Sampath, Yi Shyh Eddy Foo, Bhagyesh V. Patil, Hoay Beng Gooi. 229-234 [doi]
- Hierarchical Model Predictive Control for Building Energy Management of Hybrid SystemsAmanda Abreu, Romain Bourdais, Hervé Guéguen. 235-240 [doi]
- Verifying nonlinear analog and mixed-signal circuits with inputsChuchu Fan, Yu Meng, Jürgen Maier 0002, Ezio Bartocci, Sayan Mitra, Ulrich Schmid 0001. 241-246 [doi]
- Bounding Errors Due to Switching Delays in Incrementally Stable Switched SystemsKengo Kido, Sean Sedwards, Ichiro Hasuo. 247-252 [doi]
- Symbolic models for incrementally stable switched systems with aperiodic time samplingZohra Kader, Antoine Girard, Adnane Saoud. 253-258 [doi]
- Control Synthesis for Stochastic Switched Systems using the Tamed Euler MethodAdrien Le Coënt, Laurent Fribourg, Jonathan Vacher. 259-264 [doi]
- Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain ApproachAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. 265-270 [doi]
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation RelationsSofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray. 271-276 [doi]
- Concentration of Measure for Chance-Constrained OptimizationSadegh Soudjani, Rupak Majumdar. 277-282 [doi]
- Algorithm for Bernstein Polynomial Control DesignTareq Hamadneh, Rafael Wisniewski. 283-289 [doi]
- Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle FiltersAriadna Estrada, Ian M. Mitchell. 290-295 [doi]
- An Interval-based Sliding Horizon Motion Planning MethodJulien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot. 296-301 [doi]