Autonomous vehicle control systems—a review of decision making
SM Veres, L Molnar, NK Lincoln… - Proceedings of the …, 2011 - journals.sagepub.com
A systematic review is provided on artificial agent methodologies applicable to control
engineering of autonomous vehicles and robots. The paper focuses on some fundamentals …
engineering of autonomous vehicles and robots. The paper focuses on some fundamentals …
[PDF][PDF] Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff - 2010 - mediatum.ub.tum.de
One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …
of digital processor technology. Connections between physical systems and computing …
Real-time specification patterns
S Konrad, BHC Cheng - … of the 27th international conference on …, 2005 - dl.acm.org
Embedded systems are pervasive and frequently used for critical systems with time-
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
dependent functionality. Dwyer et al have developed qualitative specification patterns to …
Efficient on-the-fly algorithms for the analysis of timed games
In this paper, we propose the first efficient on-the-fly algorithm for solving games based on
timed game automata with respect to reachability and safety properties The algorithm we …
timed game automata with respect to reachability and safety properties The algorithm we …
Minimum-cost reachability for priced time automata
This paper introduces the model of linearly priced timed automata as an extension of timed
automata, with prices on both transitions and locations. For this model we consider the …
automata, with prices on both transitions and locations. For this model we consider the …
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of Alur and Dill (Theoret. Comput. Sci. 126 (1994)
183–235), which allows the analysis of real-time systems expressed in terms of quantitative …
183–235), which allows the analysis of real-time systems expressed in terms of quantitative …
Fault diagnosis for timed automata
S Tripakis - Formal Techniques in Real-Time and Fault-Tolerant …, 2002 - Springer
We study the problem of fault-diagnosis in the context of dense-time automata. The problem
is, given the model of a plant as a timed automaton with a set of observable events and a set …
is, given the model of a plant as a timed automaton with a set of observable events and a set …
Scheduling with timed automata
In this work, we present timed automata as a natural tool for posing and solving scheduling
problems. We show how efficient shortest path algorithms for timed automata can find …
problems. We show how efficient shortest path algorithms for timed automata can find …
Languages and tools for hybrid systems design
The explosive growth of embedded electronics is bringing information and control systems
of increasing complexity to every aspects of our lives. The most challenging designs are …
of increasing complexity to every aspects of our lives. The most challenging designs are …
Abstract interpretation based formal methods and future challenges
P Cousot - Informatics: 10 Years Back, 10 Years Ahead, 2001 - Springer
In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …
designed to analyze statically the run-time behavior of programs. Because the correctness …