Symbolic trajectory evaluation

Symbolic computer methods to automatically formulate vehicle simulation codes.

Michael W. Sayers

Citations: 34 • 1990

Symbolic derivation of dynamic equations of motion for robot manipulators using Piogram symbolic method

Pi-Ying Cheng, Ching-I Weng, Cha’o-Kuang Chen

Citations: 23 • 1988

Symbolic and qualitative reasoning for error recovery in robot programs

Maria Gini

Citations: 23 • 1987

Applications of symbolic manipulation in control system analysis and design

H.K. Eldeib, Sung-Han Tsai

Citations: 8 • 2003

Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Wei Ren, Raphaël M. Jungers, Dimos V. Dimarogonas

Citations: 5 • 2024

A framework for integrating symbolic and sub-symbolic representations

Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher

Citations: 5 • 2016

Symbolic Reachability Analysis of Hybrid Systems

Howard Wong-Toi

Citations: 5 • 1998

Development of Robot Symbolic Analysis System: ROSAM II.

Haruhisa Kawasaki, Toshimi Shimizu

Citations: 5 • 1999

SYM — Program Package for Computer-aided Generation of Optimal Symbolic Models of Robot Manipulators

Vukobratović Miomir, Kirćanski Nenad, Aleksandar Timčenko, Manja Kirćanski

Citations: 5 • 1990

Recursive symbolic calculation of the dynamic model of flexible parallel robots

Sébastien Briot, Wisama Khalil

Citations: 4 • 2013

Symbolic model checking in practice

Sérgio Campos

Citations: 4 • 2003

Computer Automated Symbolic Modeling of Dynamics of Robotic Manipulators with Flexible Links

Sabri Cetinkunt, B. Ittop

Citations: 4 • 1992

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani

Citations: 4 • 2017

Symbolic simulation of engineering systems

Dejan V. Tošić, M.D. Lutovac

Citations: 3 • 2008

<title>Symbolic processing methods for 3D visual processing</title>

Maurice Tedder, Ernest L. Hall

Citations: 3 • 2001

Optimizing Symbolic Model Checking for Constraint-Rich Models

Bwolen Yang, Reid Simmons, Randal E. Bryant, David R. O’Hallaron

Citations: 3 • 1999

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Wil Thomason, Hadas Kress‐Gazit

Citations: 2 • 2021