Abstract is missing.
- Euler's Method Applied to the Control of Switched SystemsLaurent Fribourg. 3-21 [doi]
- On the Determinization of Timed SystemsPatricia Bouyer, Samy Jaziri, Nicolas Markey. 25-41 [doi]
- On Global Scheduling Independency in Networks of Timed AutomataSergio Feo Arenis, Milan Vujinovic, Bernd Westphal. 42-57 [doi]
- Optimal Reachability in Cost Time Petri NetsHanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner. 58-73 [doi]
- Optimal Control for Multi-mode Systems with Discrete CostsMahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak. 77-96 [doi]
- Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid SystemsArvind S. Adimoolam, Thao Dang. 97-115 [doi]
- Conic Abstractions for Hybrid SystemsSergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, Hui Kong. 116-132 [doi]
- Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid AutomataStanley Bak, Sergiy Bogomolov, Matthias Althoff. 133-150 [doi]
- Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-CheckingAnders Mariegaard, Kim Guldstrand Larsen. 153-169 [doi]
- Distribution-Based Bisimulation for Labelled Markov ProcessesPengfei Yang, David N. Jansen, Lijun Zhang 0001. 170-186 [doi]
- On the Quantitative Semantics of Regular Expressions over Real-Valued SignalsAlexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus. 189-206 [doi]
- Combining the Temporal and Epistemic Dimensions for MTL MonitoringEugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus. 207-223 [doi]
- Efficient Online Timed Pattern Matching by Automata-Based SkippingMasaki Waga, Ichiro Hasuo, Kohei Suenaga. 224-243 [doi]
- Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed AutomataLoïg Jezequel, Didier Lime. 247-263 [doi]
- Lazy Reachability Checking for Timed Automata Using InterpolantsTamás Tóth, István Majzik. 264-280 [doi]
- Safe Over- and Under-Approximation of Reachable Sets for Delay Differential EquationsBai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan. 281-299 [doi]
- Simulation Based Computation of Certificates for Safety of Dynamical SystemsStefan Ratschan. 303-317 [doi]
- A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System TestingHai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff. 318-334 [doi]
- Semi-formal Cycle-Accurate Temporal Execution Traces ReconstructionRehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler. 335-351 [doi]