Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
スポンサーリンク
概要
- 論文の詳細を見る
We consider a hybrid system controlled by a sampled-data controller whose action is periodically time-driven, that is, the control inputs can change only at the particular time instants. Then, we introduce transition systems as semantics of the controlled hybrid systems and consider a control specification given by a predicate. First, we derive a necessary and sufficient condition for the predicate to be control-invariant. Next, we show that there always exists the supremal control-invariant subpredicate for any predicate. Finally, we propose a procedure to compute it and obtain a sampled-data event controller which satisfies it.
- (社)電子情報通信学会の論文
- 2008-11-01
著者
-
Ushio Toshimitsu
Graduate School Of Engineering Science At Osaka University
-
TSUCHIE Yoshiyuki
Graduate School of Engineering Science, Osaka University
-
Tsuchie Yoshiyuki
Graduate School Of Engineering Science Osaka University
関連論文
- Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management
- Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models(Nonlinear Problems)
- Synthesis of Nonautonomous Systems with Specified Limit Cycles(Oscillation, Dynamics and Chaos,Nonlinear Theory and its Applications)
- Analysis of Automation Surprises in Human-Machine Systems with Time Information(Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
- Special Section on Nonlinear Theory and its Applications
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
- Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems(Concurrent Systems,Concurrent/Hybrid Systems: Theory and Applications)
- Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability
- Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
- Synthesis of Hybrid Systems with Limit Cycles Satisfying Piecewise Smooth Constraint Equations(Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
- PID Congestion Control in ATM with Propagation Delay
- Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- On-Line Control of Discrete Event Systems with a Maximally Controllable and Observable Sublanguage
- Controlling Chaos in a Hogg-Huberman Model of a Manufacturing System
- Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning(Concurrent/Hybrid Systems : Theory and Applications)
- Co-scheduling of Communication and Control of Multi-Hop Control Networks
- An Application of Game Automaton to Quantitative Supervisory Control
- An Application of Game Automaton to Quantitative Supervisory Control
- A-12-2 An Approximate Method for Solving Optimal Control Problems of MLD systems