Similar Items: Optimized Fourth-Order Symmetric S-Curve Trajectory for Vibration Control in Dynamic Systems
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Precise Localization and Trajectory Control of Magnetically Actuated Micro-Robots
- Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
- $n$-permutability and linear Datalog implies symmetric Datalog
- A symmetric protocol to establish service level agreements
- Optimal controller synthesis for timed systems