Sciweavers

80 search results - page 4 / 16
» Modeling of information dominance in complex systems: A syst...
Sort
View
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
14 years 1 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
AUTOMATICA
1999
145views more  AUTOMATICA 1999»
13 years 7 months ago
Control of systems integrating logic, dynamics, and constraints
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
Alberto Bemporad, Manfred Morari
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
13 years 6 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
ETRICS
2006
13 years 11 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
COMGEO
2010
ACM
13 years 10 months ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann