175 Hits in 2.6 sec

Synthesis of Railway-Signaling Plans using Reachability Games

Patrick Kasting, Michael R. Hansen, Steen Vester
2016 Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016  
Imperative features of F # proved useful in two places: Hash tables and arrays were used in the representations of the railway network model and the reachability game.  ...  In this work, we show the feasibility of using functional programming (more specifically F # ) in connection with gamebased methods for synthesis of correct-by-construction controllers (also called signaling  ...  We consider the following problem: Synthesis of correct signaling plans for railway networks Game-Based Synthesis The synthesis problem is solved using game-based methods: In a reachability game, two  ... 
doi:10.1145/3064899.3064908 dblp:conf/ifl/KastingHV16 fatcat:zcl53zoltje4tcrxhmslbhxl7y

Adapting Behaviors via Reactive Synthesis [chapter]

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
2021 Lecture Notes in Computer Science  
One use of such an algorithm is to synthesize controllers that achieve similar goals on different hardware platforms.  ...  While this problem can be solved with existing synthesis algorithms, current state-of-the-art tools fail to scale.  ...  Realizability and Synthesis for Separated GR(k) Games We finally make use of the elements obtained so far towards solving synthesis for Separated GR(k) games.  ... 
doi:10.1007/978-3-030-81685-8_41 fatcat:oy7woikjkrejtanb4qay5ykkcy

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego [chapter]

Davide Basile, Maurice H. ter Beek, Axel Legay
2020 Lecture Notes in Computer Science  
In this paper, we model a suitable abstraction of a moving block signalling system with autonomous driving as a stochastic priced timed game.  ...  Moving block railway systems are the next generation signalling systems currently under development as part of the Shift2Rail European initiative, including autonomous driving technologies.  ...  Funding by MIUR PRIN 2017FTXR7S project IT MaTTerS (Methods and Tools for Trustworthy Smart Systems) and H2020 project 4SECURail (FORmal Methods and CSIRT for the RAILway sector).  ... 
doi:10.1007/978-3-030-50086-3_1 fatcat:f6d5clvuifgxhg7fpwrngctccq

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)

Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, Marc Herbstritt
2014 Dagstuhl Reports  
The main focus of the seminar was to discuss issues related to the reliable development of cyber-physical systems by using formal verification.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems".  ...  Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving Indranil Saha (University of California -Berkeley, US, License Creative Commons BY 3.0 Unported license © Indranil  ... 
doi:10.4230/dagrep.4.3.85 dblp:journals/dagstuhl-reports/MajumdarMP14 fatcat:qm5epthwvbgf5mk74me42qcpei

Adapting Behaviors via Reactive Synthesis [article]

Gal Amram and Suguman Bansal and Dror Fried and Lucas M. Tabajara and Moshe Y. Vardi and Gera Weiss
2021 arXiv   pre-print
One use of such an algorithm is to synthesize controllers that achieve similar goals on different hardware platforms.  ...  While this problem can be solved with existing synthesis algorithms, current state-of-the-art tools fail to scale.  ...  Acknowledgements We thank Supratik Chakraborty and Dana Fisman for their inputs at various stages of the project.  ... 
arXiv:2105.13837v1 fatcat:dh44imhiize7fc6u2s4qretwyq

Quantitative analysis of real-time systems using priced timed automata

Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011 Communications of the ACM  
The Danish authors are supported by the Danish Center of Excellence MT-LAB.  ...  These can be modeled using (two-player) timed games, 8 in which some actions are triggered by the environment (we can think of signals received by sensors, or of unexpected events).  ...  timed games has been applied to controller synthesis for embedded systems, including synthesis of most general nonpreemptive online schedulers for real-time systems with sporadic tasks, 2 synthesis of  ... 
doi:10.1145/1995376.1995396 fatcat:omrd5utiebfczd7h3oy6tu6vxu

To Game or Not to Game: Teaching Transportation Planning with Board Games

Arthur Huang, David Levinson
2012 Transportation Research Record  
and graduate transportation courses for simulating the evolution of 13 road network and land use, travel demand modeling, geometric design, traffic flow, and 14 traffic signal control 1 .  ...  Section 2 reviews literature on us-15 ing games in teaching, followed by a detailed description of our research method that 16 posits the connection of transportation board games and teaching in transportation  ...  new efforts in teaching transportation planning by 40 using board games.  ... 
doi:10.3141/2307-15 fatcat:khaiwnrt4fcypgdebbf27fg64y

Synergies for Trains and Cars Automation in the Era of Virtual Networking

Francesco Rispoli, Alessandro Neri, Cosimo Stallo, Pietro Salvatori, Fortunato Santucci
2018 Journal of Transportation Technologies  
In the same period, the automotive industry has launched ambitious plans for the connected cars and autonomous driving applications are emerging as the next wave of innovation.  ...  This paper evaluates the challenges to sharing intelligent infrastructure means, by combining the strengths of the safety benchmark achieved on the rail transport with the mass production capability of  ...  Both facilities are under construction, the former with RFI (Rete Ferroviaria Italiana) that is the Italian railways operator in charge with the role of Game-Changer for validating the GNSS and public  ... 
doi:10.4236/jtts.2018.83010 fatcat:74a4h2qgyzelhim7fibatgvggu

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker, Michael Wagner
2020 Dagstuhl Reports  
In this context, we discussed the state-of-the-art based on the working example of a Smart Farm.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 19432 "Analysis of Autonomous Mobile Collectives in Complex Physical Environments".  ...  "sweet spot" between precision and performance when used at run-time, model checking at scale, when to use online or offline analysis for verification and synthesis (e.g. synthesis of distributed safety  ... 
doi:10.4230/dagrep.9.10.95 dblp:journals/dagstuhl-reports/GleirscherHLL19 fatcat:ut2tli44vrbplhpfjb42w7jpja

2019 Index IEEE Transactions on Intelligent Transportation Systems Vol. 20

2019 IEEE transactions on intelligent transportation systems (Print)  
Li, Y., +, TITS June 2019 2209-2219 Synthesis of Robust Lane Keeping Systems: Impact of Controller and Design Parameters on System Performance.  ...  Han, J., +, TITS Dec. 2019 4415-4426 Three-term control Synthesis of Robust Lane Keeping Systems: Impact of Controller and Design Parameters on System Performance.  ... 
doi:10.1109/tits.2020.2966388 fatcat:xkvww7uabzhlzgfz3yiecyb75y

2018 Index IEEE Transactions on Automatic Control Vol. 63

2018 IEEE Transactions on Automatic Control  
., +, TAC Dec. 2018 4051-4066 Robot Planning Based on Boolean Specifications Using Petri Net Models.  ...  ., +, TAC June 2018 1798-1805 Robot Planning Based on Boolean Specifications Using Petri Net Models.  ... 
doi:10.1109/tac.2019.2896796 fatcat:bwmqasulnzbwhin5hv4547ypfe

Efficient Analysis and Synthesis of Complex Quantitative Systems [article]

Peter Gjøl Jensen
2018 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
To increase the applicability of synthesis, we present a semi-algorithm for parameter synthesis for Timed Automata, extendable to more expressive formalisms.  ...  We also demonstrate an over/under-approximate technique for the synthesis of Metric Interval Temporal Logic specifications and show the methods feasibility on a series of examples.  ...  This work is partially supported by the National Science Foundation of China Nos.  ... 
doi:10.5278/ fatcat:fq4x5hnl5rgdzdtolcimzbonxm

Is transit-oriented development (TOD) an internationally transferable policy concept?

Ren Thomas, Dorina Pojani, Sander Lenferink, Luca Bertolini, Dominic Stead, Erwin van der Krabben
2018 Regional studies  
The study determined international policy ideas and tools that have contributed to implementation and tested them with Dutch experts using workshops, serious gaming and design charrettes.  ...  Many cities and regions have embraced the concept of transit-oriented development (TOD). This paper explores how transfer of TOD as a policy concept impacts its implementation in the Netherlands.  ...  Within meta-analysis, a number of techniques can be used to identify crosscase patterns, e.g., meta-matrices, qualitative meta-synthesis (Schofield, 2002) .  ... 
doi:10.1080/00343404.2018.1428740 fatcat:lmlur6xp55bthlndcbrum5boea

Synthesizing fault-tolerant programs from deontic logic specifications

Ramiro Demasi
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Our technique for synthesis is based on the use of (bi)simulation algorithms for capturing different fault-tolerance classes, and the extension of a synthesis algorithm for CTL to cope with dCTLspecifications  ...  Deontic logics have proved to be useful for reasoning about legal and moral systems, where the situation is more or less similar to fault-tolerance: there exists a set of rules that states what the normal  ...  Acknowledgements First of all, I would like to express my deepest gratitude to my supervisor Tom Maibaum, for his advice, guidance, and encouragement throughout the course of this work.  ... 
doi:10.1109/ase.2013.6693149 dblp:conf/kbse/Demasi13 fatcat:z7sidjnzrfdwnginmj7nujhcg4

Event-based applications and enabling technologies

Annika Hinze, Kai Sachs, Alejandro Buchmann
2009 Proceedings of the Third ACM International Conference on Distributed Event-Based Systems - DEBS '09  
We introduce the basic notions of event processing to create a common understanding, present the enabling technologies that are used for the implementation of event-based systems, survey a wide range of  ...  However, the understanding of events, their composition and level of abstraction, the style of processing and the quality of service requirements vary drastically across application domains.  ...  Academic attempts include, e.g., [4] in the area of benchmarking and [33] in the area of performance modeling.  ... 
doi:10.1145/1619258.1619260 dblp:conf/debs/HinzeSB09 fatcat:ca66ahf6b5dxpkeackhxlf7q2y
« Previous Showing results 1 — 15 out of 175 results