Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025-11

Adaptive event-triggered method to affine formation maneuver control of multi-agent systems with external disturbances

Mengqing Wang, Fei Wang, Ning Li

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2012-5

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Retricted access

Research article

First published 2006-8

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Anatoliy Doroshenko, Ruslan Shevchenko

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12-02

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

Yongan Mu, Wei Liu, Tao Lu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1968-01

The Superintendent's Use of Cooptation in Handling Internal Interest and Pressure Groups: Its Effects and Consequences

Hill M. Walker

Educational Administration Quarterly

Open access

Research article

First published 2018-1

Parametric L-systems-based modeling self-reconfiguration of modular robots in obstacle environments

Dongyang Bie, Yulin Wang, Yu Zhang [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2015-12

Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Kiwook Jung, KC Morris, Kevin W Lyons [...]

Concurrent Engineering

Free access

Other

First published 2005-6

Modeling,Analysis,Simulation and Control of Laboratory Automation Systems Using Petri Nets: Part 1. Modeling

Mark F. Russo, Alan Sasso

Journal of Laboratory Automation

Retricted access

Research article

First published 2017-9

Patient Work Methods: Current Methods of Engaging Patients in Systems Design in Clinical,Community and Extraterrestrial Settings

Rupa S. Valdez, Richard J. Holden, Nana Khunlerkit [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results