Static analysis

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 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

Citations: 119 • 2014

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

Ramachandran Jaikumar, Roger E. Bohn

Citations: 85 • 1992

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

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

Citations: 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

Citations: 46 • 2006

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

Vittorio Paris, Attilio Pizzigoni, Sigrid Adriaenssens

Citations: 40 • 2020

Design of a Novel Six-Axis Wrist Force Sensor

Shanshan Hu, Huaiyang Wang, Yong Wang, Zhengshi Liu

Citations: 33 • 2018

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 31 • 2013

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

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

Citations: 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

Citations: 29 • 2012

Continuum Robotic Tail Loading Analysis for Mobile Robot Stabilization and Maneuvering

William S. Rone, Pinhas Ben‐Tzvi

Citations: 28 • 2014

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

Chunfeng Yue, Shuxiang Guo, Xichuan Lin, Juan Du

Citations: 27 • 2012

Dynamic analysis of very flexible beams

Reza Fotouhi

Citations: 27 • 2007

Design optimization of the ram structure of friction stir welding robot

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

Citations: 24 • 2019

Static-Time Extraction and Analysis of the ROS Computation Graph

André Santos, Alcino Cunha, Nuno Macedo

Citations: 23 • 2019

Lightweight detection of physical unit inconsistencies without program annotations

John‐Paul Ore, Carrick Detweiler, Sebastian Elbaum

Citations: 22 • 2017

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

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

Citations: 22 • 2020

Static model analysis and identification for serial articulated manipulators

Yong Han, Jianhua Wu, Chao Liu, Zhenhua Xiong

Citations: 21 • 2018

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

K. H. Kim, Trevor Harmon

Citations: 18 • 2009

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

G. Shanmugasundar, R. Sivaramakrishnan, S. Venugopal

Citations: 18 • 2013