Abstract is missing.
- A Decision Tree Approach to Data Classification using Signal Temporal LogicGiuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta. 1-10 [doi]
- Temporal Logic as FilteringAlena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu. 11-20 [doi]
- Directed Specifications and Assumption Mining for Monotone Dynamical SystemsEric S. Kim, Murat Arcak, Sanjit A. Seshia. 21-30 [doi]
- Diagnosis and Repair for Synthesis from Signal Temporal Logic SpecificationsShromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia. 31-40 [doi]
- Computing the Domain of Attraction of Switching Systems Subject to Non-Convex ConstraintsNikolaos Athanasopoulos, Raphaël M. Jungers. 41-50 [doi]
- Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares TechniquesBenoît Legat, Raphaël M. Jungers, Pablo A. Parrilo. 51-60 [doi]
- A Topological Method for Finding Invariant Sets of Switched SystemsLaurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed. 61-70 [doi]
- Hybridization for Stability Analysis of Switched Linear SystemsPavithra Prabhakar, Miriam Garcia Soto. 71-80 [doi]
- Case Studies in Data-Driven Verification of Dynamical SystemsAlexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu. 81-86 [doi]
- Towards Model Checking of Implantable Cardioverter DefibrillatorsHoussam Abbas, Kuk Jin Jang, Zhihao Jiang, Rahul Mangharam. 87-92 [doi]
- SL2SX Translator: From Simulink to SpaceEx ModelsStefano Minopoli, Goran Frehse. 93-98 [doi]
- SCOTS: A Tool for the Synthesis of Symbolic ControllersMatthias Rungger, Majid Zamani. 99-104 [doi]
- Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian SystemsSiyuan Dai, Xenofon D. Koutsoukos. 105-114 [doi]
- Verification and Synthesis of Timing Contracts for Embedded ControllersMohammad Al-Khatib, Antoine Girard, Thao Dang. 115-124 [doi]
- Formal Analysis of Robustness at Model and Code LevelTimothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron. 125-134 [doi]
- Symbolic-Numeric Reachability Analysis of Closed-Loop Control SoftwareAditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin. 135-144 [doi]
- SMT-Based Analysis of Virtually Synchronous Distributed Hybrid SystemsKyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke. 145-154 [doi]
- Scalable Static Hybridization Methods for Analysis of Nonlinear SystemsStanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash. 155-164 [doi]
- Adaptive Decentralized MAC for Event-Triggered Networked Control SystemsMikhail Vilgelm, Mohammad H. Mamduhi, Wolfgang Kellerer, Sandra Hirche. 165-174 [doi]
- Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control SystemsTobias Noesselt, Matthias Schultalbers, Jan Lunze. 175-184 [doi]
- Semi-autonomous Intersection Collision Avoidance through Job-shop SchedulingHeejin Ahn, Domitilla Del Vecchio. 185-194 [doi]
- Building Power Consumption Models from Executable Timed I/O Automata SpecificationsBenoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti. 195-204 [doi]
- Control Synthesis for Large Collections of Systems with Mode-Counting ConstraintsPetter Nilsson, Necmiye Ozay. 205-214 [doi]
- Compositional Synthesis with Parametric Reactive ControllersRajeev Alur, Salar Moarref, Ufuk Topcu. 215-224 [doi]
- Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level BehaviorsJonathan A. DeCastro, Hadas Kress-Gazit. 225-234 [doi]
- Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov FunctionsRicardo G. Sanfelice. 235-244 [doi]
- Optimal Co-Design of Scheduling and Control for Networked SystemsSandra Hirche. 245 [doi]
- Entropy and Minimal Data Rates for State Estimation and Model DetectionDaniel Liberzon, Sayan Mitra. 247-256 [doi]
- Safety Verification of Piecewise-Deterministic Markov ProcessesRafael Wisniewski, Christoffer Sloth, Manuela L. Bujorianu, Nir Piterman. 257-266 [doi]
- Computing Distances between Reach FlowpipesRupak Majumdar, Vinayak S. Prabhu. 267-276 [doi]
- Reachset Conformance Testing of Hybrid AutomataHendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff. 277-286 [doi]
- From Simulation Models to Hybrid Automata Using Urgency and RelaxationStefano Minopoli, Goran Frehse. 287-296 [doi]
- Parallelotope Bundles for Polynomial ReachabilityTommaso Dreossi, Thao Dang, Carla Piazza. 297-306 [doi]