Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Vincent Aravantinos"'
Autor:
Michael Weser, Alexander Perzylo, Pierre Venet, Somayeh Malakuti, Levi Lucio, Vincent Aravantinos, Torben Heinz Deppe, Julian Grothoff
Publikováno v:
IFAC-PapersOnLine. 52:1590-1596
In distributed manufacturing systems, the level of interoperability of hardware and software components depends on the quality and flexibility of their information models. Syntactic descriptions of input and output parameters, e.g., using interface d
Autor:
Peter Schlicht, Vincent Aravantinos
Publikováno v:
DATE
Uncertainty estimation is an intense subject of research in object detection. A commonly mentioned motivation is the usage of object detection in safety-critical applications. However, the precise connection between uncertainty estimation and safety
Publikováno v:
ETFA
Finding the right solution for a given automation problem is one of the biggest challenges for customers of industrial control and automation companies. This search needs to address customers’ demands and preferences such as cost-effectiveness, ene
To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval trap. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9892e4905a030ce20a81fd3846930805
Pedestrian motion prediction is a fundamental task for autonomous robots and vehicles to operate safely. In recent years many complex approaches based on neural networks have been proposed to address this problem. In this work we show that - surprisi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87a231359bc4701880e1bdd14348e034
Publikováno v:
FUSION
One of the primary challenges for a successful Highly Assisted and/or Autonomous Vehicle is its localization. To improve the precision of location of the vehicle, not only the internal sensors are being used, but also using data from external sensors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c951ee085f08bb9006fccfa2045ed3e
https://mediatum.ub.tum.de/1459293
https://mediatum.ub.tum.de/1459293
Autor:
Sudeep Kanav, Vincent Aravantinos
Publikováno v:
MoDELS
Despite an increasing interest from industry (e.g., DO333 standard [1]), formal verification is still not widely used in production for safety critical systems. This has been recognized for a while and various causes have been identified, one of them
Publikováno v:
VaMoS
Variability poses enormous challenges to the manufacturing domain: the demand for highly customized and personalized goods requires bringing a large amount of flexibility to traditional mass production techniques. In particular, when a factory is ask
Publikováno v:
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2011, 40, pp.599-656. ⟨10.1613/jair.3351⟩
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2011, 40, pp.599-656. ⟨10.1613/jair.3351⟩
International audience; We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized by arithmetic variables. The satisfiability pro