Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-4

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

Jakub Chaloupka

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Petr Jančar, Jérôme Leroux, Grégoire Sutre

Fundamenta Informaticae

Retricted access

Research article

First published 2015-9

Catching a Structural Bug with a Flower

Florent Avellaneda, Rémi Morin

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

Decidability Analysis of Self-Stabilization for Infinite-State Systems

Hsu-Chun Yen, Lien-Po Yu

Fundamenta Informaticae

Retricted access

Research article

First published 2026-3

Discrete-time dynamic event-triggered state observers for second-order systems and their applications to a quarter-car suspension system

Dang Tien Phuc, Dinh Cong Huong

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2007-5

Investigation on the flight characteristics of a conceptual fluidic thrust-vectored aerial tail-sitter

F Saghafi, A Banazadeh

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2020-8

Path tracking framework synthesizing robust model predictive control and stability control for autonomous vehicle

Jiaxing Yu, Xiaofei Pei, Xuexun Guo [...]

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2018-3

Fault estimation and observer-based fault-tolerant controller in finite frequency domain

Yingying Tian, Fanglai Zhu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2011-02

Retroviral and Transposon-Based Tet-Regulated All-In-One Vectors with Reduced Background Expression and Improved Dynamic Range

Niels Heinz, Axel Schambach, Melanie Galla [...]

Human Gene Therapy

Retricted access

Research article

First published 2014-6

Micro air vehicle trajectory generation in pitch plane

Chimpalthradi R Ashokkumar

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Search results