4,591 research outputs found
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange
In this paper consensus in second-order multi-agent systems with a
non-periodic sampled-data exchange among agents is investigated. The sampling
is random with bounded inter-sampling intervals. It is assumed that each agent
has exact knowledge of its own state at all times. The considered local
interaction rule is PD-type. The characterization of the convergence properties
exploits a Lyapunov-Krasovskii functional method, sufficient conditions for
stability of the consensus protocol to a time-invariant value are derived.
Numerical simulations are presented to corroborate the theoretical results.Comment: The 19th IEEE International Conference on Emerging Technologies and
Factory Automation (ETFA'2014), Barcelona (Spain
The Grail theorem prover: Type theory for syntax and semantics
As the name suggests, type-logical grammars are a grammar formalism based on
logic and type theory. From the prespective of grammar design, type-logical
grammars develop the syntactic and semantic aspects of linguistic phenomena
hand-in-hand, letting the desired semantics of an expression inform the
syntactic type and vice versa. Prototypical examples of the successful
application of type-logical grammars to the syntax-semantics interface include
coordination, quantifier scope and extraction.This chapter describes the Grail
theorem prover, a series of tools for designing and testing grammars in various
modern type-logical grammars which functions as a tool . All tools described in
this chapter are freely available
- …