12115 search results - page 10 / 2423 » Bisimulation of Dynamical Systems |
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
JANCL
2008
13 years 8 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
FAC
2008
13 years 8 months ago
2008
Abstract. Bisimulations are well
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
HYBRID
2009
Springer
13 years 6 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...