Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters(<Special Section>Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
スポンサーリンク
概要
- 論文の詳細を見る
Silva and Krogh formulate a sampled-data hybrid automaton to deal with time-driven events and discuss its verification. In this paper, we consider a state feedback control problem of the automaton. First, we introduce two transition systems as semantics of the automaton. Next, using these transition systems, we derive necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate.
- 社団法人電子情報通信学会の論文
- 2007-04-01
著者
-
Ushio Toshimitsu
Graduate School Of Engineering Science Osaka University
-
Ushio Toshimitsu
Graduate School Of Engineering Science At Osaka University
-
Ushio Toshimitsu
Osaka Univ. Toyonaka‐shi Jpn
-
Ushio Toshimitsu
Division Of Mathematical Sciences For Social Systems Department Of Systems Innovation Graduate Schoo
-
TSUCHIE Yoshiyuki
Graduate School of Engineering Science, Osaka University
-
Tsuchie Yoshiyuki
Osaka Univ. Toyonaka‐shi Jpn
-
Tsuchie Yoshiyuki
Graduate School Of Engineering Science Osaka University
関連論文
- Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management
- Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff
- Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs(Nonlinear Phenomena and Analysis,Nonlinear Theory and its Applications)
- Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control(Concurrent/Hybrid Systems : Theory and Applications)
- 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)
- Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems
- Special Section on Nonlinear Theory and its Applications
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
- Multi-Population Replicator Dynamics with Erroneous Perceptions(Nonlinear Problems)
- 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
- Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem
- 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
- FOREWORD
- 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