Underactuated robotics: A review by Bin He, Shuai Wang, Yongjia Liu

“…The controllability of underactuated robot is further discussed. The control flow of underactuated robot is described based on the open–closed control method. …”
Get full text

Predicting global usages of resources endowed with local policies by Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari

“…Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages.…”
Get full text

On the Relation of Interaction Semantics to Continuations and Defunctionalization by Ulrich Schöpp

“…We first show for the linear {\lambda}-calculus that interpretation in a model of computation by interaction can be described as a call-by-name CPS-translation followed by a defunctionalization procedure that takes into account control-flow information. We then establish a relation between these two compilation methods for the simply-typed {\lambda}-calculus and end by considering recursion.…”
Get full text

On the equivalence-checking problem for polysemantic models of sequential programs. by I.M. Zakharyaschev, V.A. Zakharov

“…One of them can be regarded as an internal semantics that is used for routing runs in the control-flow graph of a program. The other one can be viewed as an observational semantics which is used for interpreting the results of a program execution. …”
Get full text

Operational semantics for signal handling by Maxim Strygin, Hayo Thielecke

“…When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. …”
Get full text

A precision control system for train dust suppressant spraying based on ultrasonic space identificatio by LIU Yu

“…In view of problems that current dust suppressant spraying system of train has low equipment safety and poor quality of dust suppression operation, a precision control system for train dust suppressant spraying based on ultrasonic space identification was designed, and corresponding software control flow of the system was given. The system uses ultrasonic detection device to precisely control coal dust suppression spraying arm of train, which can effectively avoid other locomotive, identify materials or vehicle load conditions, and improve quality of spraying.…”
Get full text

A Proposal For An Intelligent Debugging Assistant by Kuper, Ron I.

“…An execution trace can be examined to locate errors in control flow. The utility of these and other strategies depends on the quality of the specifications available. …”
Get full text

SUDS : automatic parallelization for raw processors by Frank, Matthew I

Get full text

Comprehensive Monitor-Oriented Compensation Programming by Christian Colombo, Gordon J. Pace

“…To address this dynamic element, we propose the use of runtime monitors to facilitate compensation programming, with monitors enabling the modeller to be able to implicitly reason in terms of the runtime control flow, thus separating the concerns of system building and compensation modelling. …”
Get full text

An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs by Satoshi Yamane, Taro Kriyama, Yajun Wu

“…In this paper, we define a control flow automaton (CFA) that can handle time and propose an algorithm based on interrupt handler execution reduction (IHER). …”
Get full text

Research of precise pushing control scheme for hydraulic support and its applicatio by WANG Feng

“…Precise control of support moving and scraper conveyor pushing and automatic elimination of pin roll gap are realized by introducing pushing control logical valve and optimizing automatic support pushing control flow of electro-hydraulic control system. The experimental and field application results show that the scheme improves automatic pushing control accuracy of hydraulic support on fully mechanized coal mining face and guarantees consistent step distance of support pushing.…”
Get full text

Concurrent Scheduling of Event-B Models by Kaisa Sere, Fredrik Degerlund, Pontus Boström, Marina Waldén

“…In this paper, we show how to introduce explicit control flow for the concurrent sub-models in the form of event schedules. …”
Get full text

An Algebra of Synchronous Scheduling Interfaces by Michael Mendler

“…It covers synchronous control flow under concurrent, multi-processing or multi-threading execution and permits precise statements about exactness and coverage of the analyses supporting a variety of abstractions. …”
Get full text

DESIGN AND RESEARCH OF INTELLIGENT CONTROL SYSTEM FOR BELT CONVEYOR by WANG JiDong, SUN JianYan, HU MeiLing

“…The main technical points of the system are introduced from the aspects of overall solution, hardware selection, software design and control flow.…”
Get full text

Automatic Exploitation of Fully Randomized Executables by Gadient, Austin, Ortiz, Baltazar, Barrato, Ricardo, Davis, Eli, Perkins, Jeff, Rinard, Martin

“…We present an automated system, Marten, that automatically generates control flow hijacking exploits against fully randomized executables by combining information leakage and buffer overflow exploits.…”
Get full text

Amorphous Infrastructure for Language Implementation by Newton, Ryan, Beal, Jacob

“…Specifically, it is usedin conjunction with data-flow techniques to implement a toy language homologousto recurrence equations, exploiting control-flow parallelism through paralleloperand evaluation. …”
Get full text

Exploring into methods for component-based software development by Liu, Xinying.

“…In the system analysis phase, the proposed approach decomposes the overall requirements into continuous processes connected with flow of data through an enhanced data flow diagram (DFD) called data and control flow net (DF Net). Some simple specifications are used to describe the processes. …”
Get full text

A Process−Algebraic Approach to Workflow Specification and Refinement by Wong, P, Gibbons, J

“…This paper details some CSP models of van der Aalst et al.'s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario.…”

A Process−Algebraic Approach to Workflow Specification and Refinement by Wong, P, Gibbons, J

“…This paper details some CSP models of van der Aalst et al.'s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario.…”

A process-algebraic approach to workflow specification and refinement by Wong, P, Gibbons, J

“…This paper details some CSP models of van der Aalst et al.'s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario. © Springer-Verlag Berlin Heidelberg 2007.…”