Sciweavers

1297 search results - page 190 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
DAMAS
2005
Springer
15 years 7 months ago
Cognitive Agents for Sense and Respond Logistics
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
Kshanti A. Greene, David G. Cooper, Anna L. Buczak...
JTRES
2010
ACM
15 years 1 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
IASTEDSE
2004
15 years 2 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
TROB
2008
134views more  TROB 2008»
15 years 1 months ago
Improving the Performance of Sampling-Based Motion Planning With Symmetry-Based Gap Reduction
Sampling-based nonholonomic and kinodynamic planning iteratively constructs solutions with sampled controls. A constructed trajectory is returned as an acceptable solution if its &...
Peng Cheng, Emilio Frazzoli, Steven M. LaValle
CDC
2009
IEEE
155views Control Systems» more  CDC 2009»
15 years 5 months ago
Efficient and robust communication topologies for distributed decision making in networked systems
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...
John S. Baras, Pedram Hovareshti