Control input synthesis for hybrid systems using informed search

Schmidt, Klaus Verner
Krogh, Bruce H.
We present a method for synthesizing a sequence of robust control inputs for a class of hybrid systems. Our goal is the generation of a control sequence that drives the system from a given initial state set to a pre-specified goal set without violating constraints on the system state, under the assumption that the hybrid system is exposed to bounded disturbances. We use a technique that combines dynamic programming and informed search. The control sequence generated by our synthesis procedure is guaranteed to meet safety requirements. An extension to nonlinear systems is presented and computational time is compared to a mixed-integer programming approach for computing an optimal but non-robust solution to the problem


Controller synthesis for an I/O-based hierarchical system architecture
Perk, Sebastian; Moor, Thomas; Schmidt, Klaus Verner (2008-10-08)
In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for a...
Evolution operator approach for solving linear ordinary differential equations and computation of EXP (A)
Azzam, Abdelnasser; Ergenç, Tanıl; Department of Mathematics (1991)
An Evolution Operator Approach which were developed to solve nonlinear O.D.E. systems, X=f(x), X(0)=£, is discussed for the linear systems X=AX where A is nxn symmetric matrix. In this approach, each component of the solution vector is represented as an action of evolution operator, exp(itL), on xj and then approximated by method of Moment using [N+1,N] Pade’ approximation. In applications, the most important part of this method is the computation of dynamical and spectral coefficients [6]. The recursive fo...
Control of a differentially driven mobile robot using radial basis function based neural networks
Bayar, Gökhan; Konukseven, Erhan İlhan; Buǧra Koku, A. (2008-12-01)
This paper proposes the use of radial basis function neural networks approach to the solution of a mobile robot orientation adjustment using reinforcement learning. In order to control the orientation of the mobile robot, a neural network control system has been constructed and implemented. Neural controller has been charged to enhance the control system by adding some degrees of award. Making use of the potential of neural networks to learn the relationships, the desired reference orientation and the error...
Neural identification of dynamic systems on FPGA with improved PSO learning
Cavuslu, Mehmet Ali; KARAKUZU, CİHAN; KARAKAYA, FUAT (2012-09-01)
This work introduces hardware implementation of artificial neural networks (ANNs) with learning ability on field programmable gate array (FPGA) for dynamic system identification. The learning phase is accomplished by using the improved particle swarm optimization (PSO). The improved PSO is obtained by modifying the velocity update function. Adding an extra term to the velocity update function reduced the possibility of stucking in a local minimum. The results indicates that ANN, trained using improved PSO a...
Interface-based specification and verification of concurrency controllers
Bultan, Tevfik; Betin Can, Aysu (2003-09-01)
We present a modular approach to specification and verification of concurrency controllers by decoupling their behavior and interface specifications. The behavior specification of a concurrency controller defines how its shared variables change their values whereas the interface specification defines the order in which a client thread should call its methods. We show that the concurrency controllers can be designed modularly by composing their interfaces. We separate the verification of the concurrency cont...
Citation Formats
K. V. Schmidt and B. H. Krogh, “Control input synthesis for hybrid systems using informed search,” Taipei, Taiwan, 2004, p. 41, Accessed: 00, 2021. [Online]. Available: