Category:LNCS 1066
From BibNetWiki
Jump to:
navigation
,
search
Lecture Notes in Computer Science, Volume 1066
Articles in category "LNCS 1066"
There are 49 articles in this category.
?
??-approximation of differential inclusions
A
A DES approach to control of hybrid dynamical systems
A data-intensive computing approach to path planning and mode management for hybrid systems
A formal description of hybrid systems
A game-theoretic approach to hybrid system design
A new approach to robust control of hybrid systems
Abstract verification of structured dynamical systems
An invariant-based approach to the design of hybrid control systems containing clocks
C
Compositional and uniform modeling of hybrid systems
Controlled switching diffusions as hybrid processes
D
Deciding reachability for planar multi-polynomial systems
Design and evaluation tools for automated highway systems
Diagnostic model-checking for real-time systems
E
Examples of stabilization with hybrid feedback
Extended RTL in the specification and verification of an industrial press
F
Fischer's protocol revisited: a simple proof using modal constraints
F cont.
Formal specification of stability in hybrid control systems
G
General hybrid dynamical systems: modeling, analysis, and control
H
H gain schedule synthesis of supervisory hybrid control systems
Hierarchical design of a chemical concentration control system
Hybrid I/O automata
Hybrid cc, hybrid automata, and program verification
Hybrid control in sea traffic management systems
Hybrid systems III: verification and control
Hybrid systems: chattering approximation to relaxed controls
I
Interconnected automata and linear systems: a theoretical framework in discrete time
L
Linear phase-portrait approximations for nonlinear hybrid systems
Logics vs. automata: the hybrid case
M
Model and stability of hybrid linear systems
Modeling and verification of automated transit systems, using timed automata, invariants, and simulations
Modeling hybrid dynamical systems
O
On controlling timed discrete event systems
On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling
O cont.
Optimal design of hybrid controllers for hybrid process systems
P
Proofs from temporal hypotheses by symbolic simulation
R
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems
Requirements specifications for hybrid systems
S
Specification and verification of hybrid dynamic systems with timed inverted sans serif aye-automata
Stability of hybrid systems
Supervisory control of real-time systems using prioritized synchronization
Switched bond graphs as front-end to formal verification of hybrid systems
T
The residue of model reduction
The tool KRONOS
Timing analysis in COSPAN
U
UPPAAL: a tool suite for automatic verification of real-time systems
V
Validation of hybrid systems by co-simulation
Verification of automated vehicle protection systems
Verification of hybrid systems: monotonicity in the AHS control system
Verifying clocked transition systems
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related