Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Miloš Žefran"'
Publikováno v:
Advances in Mechanism and Machine Science ISBN: 9783030201302
Dielectric elastomer actuators (DEAs), also known as soft actuators, are being used as artificial muscles in different applications. Elastomers used in dielectric elastomer actuators usually exhibit both elastic and viscous characteristics. Depending
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e577a0438562a410a2aa3fef89eff0b
https://doi.org/10.1007/978-3-030-20131-9_244
https://doi.org/10.1007/978-3-030-20131-9_244
Publikováno v:
Computer Speech & Language. 34:201-231
The RoboHelper project has the goal of developing assistive robots for the elderly. One crucial component of such a robot is a multimodal dialogue architecture, since collaborative task-oriented human-human dialogue is inherently multimodal. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23215673df11d79355f64e03a4eb7ed4
https://doi.org/10.1016/j.csl.2015.03.010
https://doi.org/10.1016/j.csl.2015.03.010
Publikováno v:
Runtime Verification ISBN: 9783319469812
RV
RV
Runtime monitoring has been proposed as an alternative to formal verification for safety critical systems. This paper introduces a decision-theoretic view of runtime monitoring. We formulate the monitoring problem as a Partially Observable Markov Dec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::674b1a364e2e8299715ff5c0609e305f
https://doi.org/10.1007/978-3-319-46982-9_25
https://doi.org/10.1007/978-3-319-46982-9_25
Publikováno v:
Studies in Computational Intelligence ISBN: 9783319260525
Simulation is an integral part of the robo design process; it allows the designer to verify that the mechanical structure, sensors and software work together as intended. It can also serve as a collaboration platform for a team. Gazebo is a particula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ca74d32e56fed6a77d49ec8f930adcd
https://doi.org/10.1007/978-3-319-26054-9_22
https://doi.org/10.1007/978-3-319-26054-9_22
Autor:
Miloš Žefran, Maxim Kolesnikov
Publikováno v:
Robotica. 26:513-524
SUMMARYExisting penalty-based haptic rendering approaches are based on the penetration depth estimation in strictly translational sense and cannot properly take object rotation into account. We propose a new six-degree-of-freedom (6-DOF) haptic rende
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3888acb8e8ecde08b8aaf9d89abb8ca4
https://doi.org/10.1017/s0263574708004207
https://doi.org/10.1017/s0263574708004207
Publikováno v:
Nonlinear Analysis: Hybrid Systems. 1:264-279
This paper develops a technique for numerically solving hybrid optimal control problems. The theoretical foundation of the approach is a recently developed methodology by S.C. Bengea and R.A. DeCarlo [Optimal control of switching systems, Automatica.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::279be62b9f38698c43eb3f7b1907a182
https://doi.org/10.1016/j.nahs.2006.10.007
https://doi.org/10.1016/j.nahs.2006.10.007
Publikováno v:
International Journal of Robotics Research. 18:243-258
The set of rigid-body motions forms a Lie group called SE(3), the special Euclidean group in three dimensions. In this paper, we investigate possilble choices of Riemannian metrics and affine connections on SE(3) for applications to kinematic analysi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::099c5418f5dcdcd73f81953592442f32
https://doi.org/10.1177/02783649922066187
https://doi.org/10.1177/02783649922066187
In recent years, the embedding approach for solving switched optimal control problems has been developed in a series of papers. However, the embedding approach, which advantageously converts the hybrid optimal control problem to a classical nonlinear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92f7d843cc21a6cad7808ee1144606d4
http://arxiv.org/abs/1203.3341
http://arxiv.org/abs/1203.3341
Publikováno v:
Runtime Verification ISBN: 9783642298592
RV
RV
Correct functioning of cyber-physical systems is of critical importance. This is more so in the case of safety critical systems such as in medical, automotive and many other applications. Since verification of correctness, in general, is infeasible a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0740ae1ada045ee5ee877155a9013f21
https://doi.org/10.1007/978-3-642-29860-8_21
https://doi.org/10.1007/978-3-642-29860-8_21
Publikováno v:
Computer Aided Verification ISBN: 9783642221095
CAV
CAV
Monitoring is an important run time correctness checking mechanism. This paper introduces the notions of monitorability and strong monitorability for partially observable stochastic systems, and gives necessary and sufficient conditions characterizin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc48e51fa58ed9760dbfedc6949817b5
https://doi.org/10.1007/978-3-642-22110-1_58
https://doi.org/10.1007/978-3-642-22110-1_58