Graph process specifications for hybrid networked systems

DOI10.1007/S10626-012-0134-2zbMATH Open1267.93005OpenAlexW2070051221MaRDI QIDQ351747FDOQ351747

Authors: Philip Y. Twu, Patrick Martin, Magnus Egerstedt 

Publication date: 9 July 2013

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-012-0134-2

Recommendations

• Hybrid Systems: Computation and Control
• A Grammatical Approach to Cooperative Control
• Decentralized abstractions for multi-agent systems under coupled constraints
• On the timed temporal logic planning of coupled multi-agent systems
• scientific article; zbMATH DE number 2084595

zbMATH Keywords

decentralized controlhybrid systemsnetwork topologiesformal specificationgraph theoretic models

Mathematics Subject Classification ID

Decentralized systems (93A14) Large-scale systems (93A15) Applications of graph theory to circuits and networks (94C15)

Cites Work

• On the regularization of Zeno hybrid automata
• Graph theoretic methods in multiagent networks
• Consensus and Cooperation in Networked Multi-Agent Systems
• Coordination of groups of mobile autonomous agents using nearest neighbor rules
• Consensus Problems in Networks of Agents With Switching Topology and Time-Delays
• Consensus seeking in multiagent systems under dynamically changing interaction topologies
• Flocking in Fixed and Switching Networks
• Title not available (Why is that?)
• A unified framework for hybrid control: model and optimal control theory
• Optimal Control of Spatially Distributed Systems
• Distributed control of spatially invariant systems
• Gradient descent approach to optimal mode scheduling in hybrid dynamical systems
• Optimal control of switched systems via non-linear optimization based on direct differentiations of value functions
• Local Control Strategies for Groups of Mobile Autonomous Agents
• Transition-Time Optimization for Switched-Mode Dynamical Systems
• On the Hybrid Optimal Control Problem: Theory and Algorithms
• A Characterization of Convex Problems in Decentralized Control$^ast$
• Stability analysis of one-dimensional asynchronous swarms
• Control using logic-based switching. Workshop, in the fall of 1995, Block Island, RI, USA
• Connectivity graphs as models of local interactions
• Graph process specifications for hybrid networked systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Graphical Modeling of Networked Architectures and Real-Time-Requirements for the Analysis of Networked Automation Systems
• Graph process specifications for hybrid networked systems

This page was built for publication: Graph process specifications for hybrid networked systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q351747)