Search results
From MaRDI portal
- Retracted: Synthesis of reversible circuits consisting of NOT, CNOT and 2-CNOT gates with small number of additional inputs 2023-02-22 Paper On synthesis of reversible...10 bytes (18 words) - 10:38, 11 December 2023
- 2008-12-21 Paper The algebraic synthesis of a spatial TS chain for a prescribed acceleration task 2008-09-12 Paper The synthesis of six-bar linkages as constrained...10 bytes (18 words) - 07:36, 12 December 2023
- de/entity/Q5740413 2016-07-26 Paper Control and synthesis of non-interferent timed systems 2015-07-29 Paper Synthesis of Bounded Integer Parameters for Parametric...10 bytes (18 words) - 16:25, 11 December 2023
- Publication Date of Publication Type Dimensional synthesis of spatial mechanisms and the problem of non-assembly 2006-06-28 Paper A roller chain drive...10 bytes (18 words) - 13:21, 13 December 2023
- Publication Date of Publication Type Stable ?2-optimal controller synthesis 2005-09-21 Paper Robust resilient dynamic controllers for systems with parametric...10 bytes (18 words) - 15:15, 7 December 2023
- quantum circuits 2014-12-23 Paper Realization and synthesis of reversible functions 2011-03-29 Paper Synthesis of reversible circuits with minimal costs 2009-10-19...10 bytes (18 words) - 13:45, 12 December 2023
- Techniques for Reversible Circuit Synthesis with Positive and Negative Controls 2021-10-18 Paper Search-based transformation synthesis for 3-valued reversible circuits...10 bytes (18 words) - 22:03, 8 December 2023
- for four-point synthesis of 4R spherical linkages 2009-08-21 Paper https://portal.mardi4nfdi.de/entity/Q3507008 2008-06-18 Paper Synthesis of an 8S5R mechanism...10 bytes (18 words) - 08:08, 12 December 2023
- Paper Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions 2020-03-06 Paper Synthesis of switching...10 bytes (16 words) - 20:15, 12 December 2023
- optimal grid synthesis in optimal control problems with fixed terminal time 2010-03-16 Paper On the efficiency of optimal grid synthesis in optimal control...10 bytes (18 words) - 01:41, 10 December 2023
- gains 2019-08-06 Paper Discrete-time integral MRAC with minimal controller synthesis and parameter projection 2018-08-16 Paper Hybrid Model Reference Adaptive...10 bytes (16 words) - 14:24, 10 December 2023
- analysis of time-invariant systems and synthesis of suboptimal anisotropic controllers and filters 2018-06-20 Paper Synthesis of anisotropic suboptimal control...10 bytes (18 words) - 02:11, 10 December 2023
- Linear Constraints for Efficient Supervisor Synthesis 2017-05-16 Paper Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using...10 bytes (16 words) - 00:23, 12 December 2023
- Abstraction-Based Interaction Model for Synthesis 2020-07-07 Paper Programming by predicates: a formal model for interactive synthesis 2020-03-06 Paper Property-Directed...10 bytes (16 words) - 23:25, 12 December 2023
- conditions for optimal hybrid systems of variable dimensions 2022-05-03 Paper Synthesis of optimal hybrid systems for multipurpose time-optimal operation 2021-05-27...10 bytes (18 words) - 14:38, 28 January 2024
- supervisor synthesis for evolving systems 2024-03-25 Paper Refinement in Interworkings 2023-06-28 Paper Transformational supervisor synthesis for evolving...10 bytes (17 words) - 05:12, 12 December 2023
- Paper Coprime factor based anti-windup synthesis for parameter-dependent systems 2010-06-17 Paper Anti-windup synthesis for systems with rate-limits using...10 bytes (18 words) - 14:31, 10 December 2023
- Petri Nets 2015-08-27 Paper Control and synthesis of non-interferent timed systems 2015-07-29 Paper Synthesis of Bounded Integer Parameters for Parametric...10 bytes (16 words) - 16:25, 11 December 2023
- modified Popov controller synthesis 1995-11-28 Paper \(H_ 2\)-suboptimal stable stabilization 1995-10-15 Paper L2 controller synthesis with L∞-bounded closed-loop...10 bytes (18 words) - 13:49, 13 December 2023
- logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata 2018-04-05 Paper Problems of synthesis of \(\Sigma\)-automata specified in languages...10 bytes (18 words) - 03:25, 9 December 2023