Static analysis

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

引用数: 122 • 2013

Static and dynamic stiffness analyses of cable-driven parallel robots with non-negligible cable mass and elasticity

Han Yuan, Eric Courteille, Dominique Deblaise

引用数: 119 • 2014

A dynamic approach to operations management: An alternative to static optimization

Ramachandran Jaikumar, Roger E. Bohn

引用数: 85 • 1992

Simplified static analysis of large-dimension parallel cable-driven robots

Marc Gouttefarde, Jean-François Collard⋆, Nicolas Riehl, Cédric Baradat

引用数: 64 • 2012

Finite Element Analysis and Comparison of Two Hybrid Robots-the Tricept and the TriVariant

Yi-Ze Wang, Tian Huang, Xiaolu Zhao, Jiangping Mei, D.G. Chetwynd, S. Jack Hu

引用数: 46 • 2006

Statics of self-balancing masonry domes constructed with a cross-herringbone spiraling pattern

Vittorio Paris, Attilio Pizzigoni, Sigrid Adriaenssens

引用数: 40 • 2020

Design of a Novel Six-Axis Wrist Force Sensor

Shanshan Hu, Huaiyang Wang, Yong Wang, Zhengshi Liu

引用数: 33 • 2018

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

引用数: 31 • 2013

Static and dynamic characterization of the 6-Dofs parallel robot 3CRS

Anh V. Nguyen, Belhassen Chedli Bouzgarrou, Karine Charlet, A. Béakou

引用数: 29 • 2015

Solving the Direct Geometrico-Static Problem of 3-3 Cable-Driven Parallel Robots by Interval Analysis: Preliminary Results

Alessandro Berti, Jean‐Pierre Merlet, Marco Carricato

引用数: 29 • 2012

Continuum Robotic Tail Loading Analysis for Mobile Robot Stabilization and Maneuvering

William S. Rone, Pinhas Ben‐Tzvi

引用数: 28 • 2014

Analysis and improvement of the water-jet propulsion system of a spherical underwater robot

Chunfeng Yue, Shuxiang Guo, Xichuan Lin, Juan Du

引用数: 27 • 2012

Dynamic analysis of very flexible beams

Reza Fotouhi

引用数: 27 • 2007

Design optimization of the ram structure of friction stir welding robot

Haitao Luo, Jia Fu, Peng Wang, Jinguo Liu, Weijia Zhou

引用数: 24 • 2019

Static-Time Extraction and Analysis of the ROS Computation Graph

André Santos, Alcino Cunha, Nuno Macedo

引用数: 23 • 2019

Lightweight detection of physical unit inconsistencies without program annotations

John‐Paul Ore, Carrick Detweiler, Sebastian Elbaum

引用数: 22 • 2017

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles

Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu

引用数: 22 • 2020

Static model analysis and identification for serial articulated manipulators

Yong Han, Jianhua Wu, Chao Liu, Zhenhua Xiong

引用数: 21 • 2018

Interactive worst-case execution time analysis of hard real-time systems

K. H. Kim, Trevor Harmon

引用数: 18 • 2009

Modeling, Design and Static Analysis of Seven Degree of Freedom Articulated Inspection Robot

G. Shanmugasundar, R. Sivaramakrishnan, S. Venugopal

引用数: 18 • 2013