Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Industrial
Papers
Improved Algorithm for Increasing Efficiency in Capturing and Orienting an Object with a 6-Axle Robot and a 2D Camera for Visual Inspection Aper
Boris Kostov
and
Vladimir Hristov
EasyChair Preprint no. 3958
Benchmark problem: an air brake model for trains
Luca Parolini
,
Simone Schuler
and
Adolfo Anta
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Verifying Properties of an Electro-Mechanical Braking System
Thomas Strathmann
and
Jens Oehlerking
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm
,
Rainer Gmehlich
,
Thomas Heinz
,
Jens Oehlerking
and
Matthias Woehrle
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2
Chuchu Fan
,
Parasara Sridhar Duggirala
,
Sayan Mitra
and
Mahesh Viswanathan
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Jyotirmoy Deshmukh
,
Hisahiro Ito
,
Xiaoqing Jin
,
James Kapinski
,
Ken Butts
,
Juergen Gerhard
,
Behzad Samadi
,
Kevin Walker
and
Yuzhen Xie
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Using S-TaLiRo on Industrial Size Automotive Models
Bardh Hoxha
,
Houssam Abbas
and
Georgios Fainekos
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2021 easychair.org. All rights reserved.